Fast SDP certification of neural networks : towards large multi-class datasets

Margot Boyer, Clément Rambour, Zacharie Alès +1

We present a new quadratic model for the certification problem in adversarial robustness, which simultaneously accounts for all possible target classes. Building on this model, we…