TY  - RPRT
TI  - Efficient Exact Verification of Binarized Neural Networks
AU  - Kai Jia
AU  - Martin Rinard
PY  - 2020
UR  - https://arxiv.org/abs/2005.03597
ID  - 2005.03597
ER  -