; University of Oxford
Alessandro De Palma, Harkirat Singh Behl, Rudy R Bunel, Philip Torr, M. Pawan Kumar
Neural Network Verification;Neural Network Bounding;Optimisation for Deep Learning
Scaling the Convex Barrier with Active Sets