conftrace_

verified accuracy

3 papers

Explore in graph

Co-occurring keywords

adversarial robustness (1341) interval bound propagation (14) certified defense (34) abstain class (1) synonym replacement (14) provable robustness (10) symbol substitution (2) character flip perturbation (1) neural network verification (106) adversarial attack (1621)

Papers

Improving Adversarial Robustness via Joint Classification and Multiple Explicit Detection Classes AISTATS 2023
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation EMNLP 2019
Scalable Verified Training for Provably Robust Image Classification ICCV 2019