TY  - RPRT
TI  - Towards Efficient Verification of Quantized Neural Networks
AU  - Pei Huang
AU  - Haoze Wu
AU  - Yuting Yang
AU  - Ieva Daukantas
AU  - Min Wu
AU  - Yedi Zhang
AU  - Clark Barrett
PY  - 2023
UR  - https://arxiv.org/abs/2312.12679
ID  - 2312.12679
ER  -