TY  - RPRT
TI  - Incremental Verification of Fixed-Point Implementations of Neural Networks
AU  - Luiz Sena
AU  - Erickson Alves
AU  - Iury Bessa
AU  - Eddie Filho
AU  - Lucas Cordeiro
PY  - 2020
UR  - https://arxiv.org/abs/2012.11220
ID  - 2012.11220
ER  -