TY  - RPRT
TI  - Correctness Verification of Neural Networks
AU  - Yichen Yang
AU  - Martin Rinard
PY  - 2022
UR  - https://arxiv.org/abs/1906.01030
ID  - 1906.01030
ER  -