Skip to content
conftrace_

symbol substitution

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

character flip perturbation (1) synonym replacement (1) verified accuracy (1) interval bound propagation (1) adversarial attack (1) formal verification (1) text classification (1) adversarial robustness (1)

Papers

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation EMNLP 2019