Timothy Arthur Mann

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Image Classification

Training Process

Artificial Neural Networks

Top Venues

Publications

Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Arthur Mann, Pushmeet Kohli
Scalable Verified Training for Provably Robust Image Classification. ICCV (2019)