TY - RPRT TI - Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks AU - Mathias Lechner AU - Đorđe Žikelić AU - Krishnendu Chatterjee AU - Thomas A. Henzinger AU - Daniela Rus PY - 2022 UR - https://arxiv.org/abs/2211.16187 ID - 2211.16187 ER -