Dj's research website
Dj's research website
Home
Posts
Publications
CV
Scalable Verified Training for Provably Robust Image Classification
Sven Gowal
,
Krishnamurthy Dvijotham
,
Robert Stanforth
,
Rudy Bunel
,
Chongli Qin
,
Jonathan Uesato
,
Relja Arandjelovic
,
Timothy A. Mann
,
Pushmeet Kohli
January 2019
PDF
Cite
Type
Conference paper
Publication
International Conference on Computer Vision (ICCV), 2019
Related
Verification of Non-Linear Specifications for Neural Networks
Adversarial Robustness through Local Linearization
Efficient Neural Network Verification with Exactness Characterization
A dual approach to scalable verification of deep networks
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control
Cite
×