University of Illinois, Urbana Champaign; ETH Zurich
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev
Adversarial attacks;Robustness Certification;Abstract Interpretation;Deep Learning
Provably Robust Adversarial Examples