Dj's research website
Dj's research website
Home
Publications
CV
Achieving verified robustness to symbol substitutions via interval bound propagation
Po-Sen Huang
,
Robert Stanforth
,
Johannes Welbl
,
Chris Dyer
,
Dani Yogatama
,
Sven Gowal
,
Krishnamurthy Dvijotham
,
Pushmeet Kohli
January 2019
Cite
Type
Journal article
Publication
ACL 2019
Related
Towards Verified Robustness under Text Deletion Interventions
A dual approach to scalable verification of deep networks
Achieving robustness in the wild via adversarial mixing with disentangled representations
Adversarial robustness through local linearization
A Dual Approach to Verify and Train Deep Networks.
Cite
×