Huang, P., Wu, H., Yang, Y., Daukantas, I., Wu, M., Zhang, Y., & Barrett, C. (2024). Towards Efficient Verification of Quantized Neural Networks. Proceedings of the AAAI Conference on Artificial Intelligence, 38(19), 21152–21160. https://doi.org/10.1609/aaai.v38i19.30108