Henzinger, Thomas A., Mathias Lechner, and Đorđe Žikelić. 2021. “Scalable Verification of Quantized Neural Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (5):3787-95. https://doi.org/10.1609/aaai.v35i5.16496.