Huang, P. (2024) “Towards Efficient Verification of Quantized Neural Networks”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(19), pp. 21152–21160. doi: 10.1609/aaai.v38i19.30108.