Google DeepMind; Inria, École Normale Supérieure, PSL University, CNRS; Imperial College London
Alessandro De Palma, Rudy R Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Verified Training;Neural Network Verification;Verified Adversarial Robustness
Expressive Losses for Verified Robustness via Convex Combinations