Hue Dang

Certifiably Quantisation-Robust training and inference of Neural Networks

We tackle the problem of computing guarantees for the robustness of neural networks against quantisation of their inputs, parameters and activation values. In particular, we pose the problem of bounding the worst-case discrepancy between the original neural network and all possible quantised ones pa…