Department of Computer Science, ETH Zurich, Switzerland
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev
Robustness certification;Adversarial Attacks;Abstract Interpretation;MILP Solvers;Verification of Neural Networks
Boosting Robustness Certification of Neural Networks