Department of Computer Science, ETH Zurich, Switzerland
Mark Niklas Müller, Mislav Balunovic, Martin Vechev
Provable Robustness;Network Architecture;Robustness;Adversarial Accuracy;Certified Robustness
Certify or Predict: Boosting Certified Robustness with Compositional Architectures