TY  - RPRT
TI  - Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
AU  - Po-Sen Huang
AU  - Robert Stanforth
AU  - Johannes Welbl
AU  - Chris Dyer
AU  - Dani Yogatama
AU  - Sven Gowal
AU  - Krishnamurthy Dvijotham
AU  - Pushmeet Kohli
PY  - 2019
UR  - https://arxiv.org/abs/1909.01492
ID  - 1909.01492
ER  -