University of Oxford; DeepMind
Harkirat Singh Behl, M. Pawan Kumar, Philip Torr, Krishnamurthy Dvijotham
Neural Network Verification;Optimisation for Deep Learning
Overcoming the Convex Barrier for Simplex Inputs