@inproceedings{huang-etal-2019-achieving,
    title = "Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation",
    author = "Huang, Po-Sen  and
      Stanforth, Robert  and
      Welbl, Johannes  and
      Dyer, Chris  and
      Yogatama, Dani  and
      Gowal, Sven  and
      Dvijotham, Krishnamurthy  and
      Kohli, Pushmeet",
    editor = "Inui, Kentaro  and
      Jiang, Jing  and
      Ng, Vincent  and
      Wan, Xiaojun",
    booktitle = "Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)",
    month = nov,
    year = "2019",
    address = "Hong Kong, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/D19-1419/",
    doi = "10.18653/v1/D19-1419",
    pages = "4083--4093"
}