{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T04:27:29Z","timestamp":1780633649573,"version":"3.54.1"},"publisher-location":"Stroudsburg, PA, USA","reference-count":0,"publisher":"Association for Computational Linguistics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.18653\/v1\/d19-1419","type":"proceedings-article","created":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T22:21:11Z","timestamp":1572733271000},"page":"4081-4091","source":"Crossref","is-referenced-by-count":40,"title":["Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation"],"prefix":"10.18653","author":[{"given":"Po-Sen","family":"Huang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Stanforth","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Johannes","family":"Welbl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chris","family":"Dyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dani","family":"Yogatama","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sven","family":"Gowal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krishnamurthy","family":"Dvijotham","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pushmeet","family":"Kohli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1643","event":{"name":"Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)","location":"Hong Kong, China","start":{"date-parts":[[2019,11]]},"end":{"date-parts":[[2019,11]]}},"container-title":["Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)"],"original-title":[],"deposited":{"date-parts":[[2019,12,19]],"date-time":"2019-12-19T17:13:00Z","timestamp":1576775580000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.aclweb.org\/anthology\/D19-1419"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":0,"URL":"https:\/\/doi.org\/10.18653\/v1\/d19-1419","relation":{},"subject":[],"published":{"date-parts":[[2019]]}}}