TY  - RPRT
TI  - Verifying Low-dimensional Input Neural Networks via Input Quantization
AU  - Kai Jia
AU  - Martin Rinard
PY  - 2021
UR  - https://arxiv.org/abs/2108.07961
ID  - 2108.07961
ER  -