Dj's research website
Dj's research website
Home
Publications
CV
Scalable verified training for provably robust image classification
Sven Gowal
,
Krishnamurthy Dj Dvijotham
,
Robert Stanforth
,
Rudy Bunel
,
Chongli Qin
,
Jonathan Uesato
,
Relja Arandjelovic
,
Timothy Mann
,
Pushmeet Kohli
January 2019
Cite
Type
Conference paper
Publication
Proceedings of the IEEE/CVF International Conference on Computer Vision
Related
Verification of non-linear specifications for neural networks
Efficient neural network verification with exactness characterization
Toward evaluating robustness of deep reinforcement learning with continuous control
A dual approach to scalable verification of deep networks
Towards Verified Robustness under Text Deletion Interventions
Cite
×