HUANG, Pei; WU, Haoze; YANG, Yuting; DAUKANTAS, Ieva; WU, Min; ZHANG, Yedi; BARRETT, Clark. Towards Efficient Verification of Quantized Neural Networks. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 38, n. 19, p. 21152–21160, 2024. DOI: 10.1609/aaai.v38i19.30108. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/30108. Acesso em: 26 may. 2026.