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