Dj's research website
Dj's research website
Home
Publications
CV
A Dual Approach to Verify and Train Deep Networks.
Sven Gowal
,
Krishnamurthy Dvijotham
,
Robert Stanforth
,
Timothy A Mann
,
Pushmeet Kohli
January 2019
Cite
Type
Conference paper
Publication
IJCAI
Related
A dual approach to scalable verification of deep networks
Adversarial robustness through local linearization
Achieving verified robustness to symbol substitutions via interval bound propagation
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
The Autoencoding Variational Autoencoder
Cite
×