Department of Computer Science, ETH Zürich, Switzerland
Yuhao Mao, Mark N Müller, Marc Fischer, Martin Vechev
Certified Robustness;Adversarial Robustness;Neural Network Verification;Certified Training
Understanding Certified Training with Interval Bound Propagation