DeepMind
Sven Gowal, Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja ArandjeloviÄ, Timothy Mann, Pushmeet Kohli
Scalable Verified Training for Provably Robust Image Classification