Quantization-aware interval bound propagation for training certifiably robust quantized neural networks

by LECHNER, Mathias, ZIKELIC, Dorde, CHATTERJEE, Krishnendu, HENZINGER, A. Thomas, RUS, Daniela
Published 2023