TY  - RPRT
TI  - Exploiting Verified Neural Networks via Floating Point Numerical Error
AU  - Kai Jia
AU  - Martin Rinard
PY  - 2021
UR  - https://arxiv.org/abs/2003.03021
ID  - 2003.03021
ER  -