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. Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation. In Kentaro Inui, Jing Jiang, Vincent Ng, Xiaojun Wan 0001, editors, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, EMNLP-IJCNLP 2019, Hong Kong, China, November 3-7, 2019. pages 4081-4091, Association for Computational Linguistics, 2019. [doi]

Authors

Po-Sen Huang

This author has not been identified. Look up 'Po-Sen Huang' in Google

Robert Stanforth

This author has not been identified. Look up 'Robert Stanforth' in Google

Johannes Welbl

This author has not been identified. Look up 'Johannes Welbl' in Google

Chris Dyer

This author has not been identified. Look up 'Chris Dyer' in Google

Dani Yogatama

This author has not been identified. Look up 'Dani Yogatama' in Google

Sven Gowal

This author has not been identified. Look up 'Sven Gowal' in Google

Krishnamurthy Dvijotham

This author has not been identified. Look up 'Krishnamurthy Dvijotham' in Google

Pushmeet Kohli

This author has not been identified. Look up 'Pushmeet Kohli' in Google