Pawan Kumar, M.

1 publications

UAI 2020 Lagrangian Decomposition for Neural Network Verification Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip Torr, M. Pawan Kumar