Thomas A. Henzinger

Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks

2023 · Proceedings of the AAAI Conference on Artificial Intelligence

We study the problem of training and certifying adversarially robust quantized neural networks (QNNs). Quantization is a technique for making neural networks more efficient by running them using low-bit integer arithmetic and is therefore commonly …