Huang, Pei, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, and Clark Barrett. 2024. “Towards Efficient Verification of Quantized Neural Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (19):21152-60. https://doi.org/10.1609/aaai.v38i19.30108.