Dj's research website
Dj's research website
Home
Posts
Publications
CV
Adversarial Robustness through Local Linearization
Chongli Qin
,
James Martens
,
Sven Gowal
,
Dilip Krishnan
,
Krishnamurthy Dvijotham
,
Alhussein Fawzi
,
Soham De
,
Robert Stanforth
,
Pushmeet Kohli
December 2019
PDF
Cite
Type
Conference paper
Publication
Advances in Neural Information Processing Systems, 2019
Related
Efficient Neural Network Verification with Exactness Characterization
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
Scalable Verified Training for Provably Robust Image Classification
Verification of Non-Linear Specifications for Neural Networks
A dual approach to scalable verification of deep networks
Cite
×