TY  - RPRT
TI  - Verifying Properties of Binarized Deep Neural Networks
AU  - Nina Narodytska
AU  - Shiva Prasad Kasiviswanathan
AU  - Leonid Ryzhyk
AU  - Mooly Sagiv
AU  - Toby Walsh
PY  - 2018
UR  - https://arxiv.org/abs/1709.06662
ID  - 1709.06662
ER  -