Department of Computer Science, ETH Zurich, Switzerland
Mark N Müller, Franziska Eckert, Marc Fischer, Martin Vechev
Certified Training;Certified Robustness;Adversarial Robustness;Robustness Verification
Certified Training: Small Boxes are All You Need