Department of Computer Science, ETH Zurich, Switzerland
Yuhao Mao, Mark Müller, Marc Fischer, Martin Vechev
Certified Training;Certified Robustness;Adversarial Robustness;Robustness Verification
Connecting Certified and Adversarial Training