Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Po-Sen Huang author Robert Stanforth author Johannes Welbl author Chris Dyer author Dani Yogatama author Sven Gowal author Krishnamurthy Dvijotham author Pushmeet Kohli author 2019-11 text Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP) Kentaro Inui editor Jing Jiang editor Vincent Ng editor Xiaojun Wan editor Association for Computational Linguistics Hong Kong, China conference publication huang-etal-2019-achieving 10.18653/v1/D19-1419 https://aclanthology.org/D19-1419/ 2019-11 4083 4093