LECHNER, M.; ŽIKELIĆ, Đorđe; CHATTERJEE, K.; HENZINGER, T. A.; RUS, D. Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 37, n. 12, p. 14964-14973, 2023. DOI: 10.1609/aaai.v37i12.26747. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/26747. Acesso em: 15 jul. 2024.