Lechner M, Žikelić Đorđe, Chatterjee K, Henzinger TA, Rus D. Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI [Internet]. 2023Jun.26 [cited 2024Nov.21];37(12):14964-73. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26747