TY  - RPRT
TI  - QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
AU  - Xidan Song
AU  - Edoardo Manino
AU  - Luiz Sena
AU  - Erickson Alves
AU  - Eddie de Lima Filho
AU  - Iury Bessa
AU  - Mikel Lujan
AU  - Lucas Cordeiro
PY  - 2021
UR  - https://arxiv.org/abs/2111.13110
ID  - 2111.13110
ER  -