Lagrangian decomposition for neural network verification

Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip Torr, M Pawan Kumar

January 2020

Type

Conference paper

Publication

Conference on Uncertainty in Artificial Intelligence