2025 AISTATS AISTATS 2025

Certifiably Quantisation-Robust training and inference of Neural Networks