Dj's research website
Dj's research website
Home
Posts
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
PDF
Cite
Type
Conference paper
Publication
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing, EMNLP 2019, Hong Kong, China, November 5-7, 2019
Related
Towards Verified Robustness under Text Deletion Interventions
Adversarial Robustness through Local Linearization
Scalable Verified Training for Provably Robust Image Classification
Efficient Neural Network Verification with Exactness Characterization
A dual approach to scalable verification of deep networks
Cite
×