Dj's research website
Dj's research website
Home
Publications
CV
A dual approach to scalable verification of deep networks
Best paper award at UAI 2018
Krishnamurthy Dvijotham
,
Robert Stanforth
,
Sven Gowal
,
Timothy Mann
,
Pushmeet Kohli
July 2018
Cite
URL
Type
Conference paper
Publication
Proceedings of the Thirty-Fourth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-18) (Best Paper Award)
Related
Achieving robustness in the wild via adversarial mixing with disentangled representations
Adversarial robustness through local linearization
Scalable verified training for provably robust image classification
A Dual Approach to Verify and Train Deep Networks.
Achieving verified robustness to symbol substitutions via interval bound propagation
Cite
×