Dj's research website
Dj's research website
Home
Publications
CV
Towards Verified Robustness under Text Deletion Interventions
Johannes Welbl
,
Po-Sen Huang
,
Robert Stanforth
,
Sven Gowal
,
Krishnamurthy Dj Dvijotham
,
Martin Szummer
,
Pushmeet Kohli
January 2020
Cite
Type
Conference paper
Publication
International Conference on Learning Representations
Related
Achieving verified robustness to symbol substitutions via interval bound propagation
Scalable verified training for provably robust image classification
Efficient neural network verification with exactness characterization
Toward evaluating robustness of deep reinforcement learning with continuous control
A dual approach to scalable verification of deep networks
Cite
×