Department of Computer Science, ETH Zurich, Switzerland
Maximilian Baader, Mark N Müller, Yuhao Mao, Martin Vechev
Convex Relaxations;Neural Network Verification;Certified Robustness;Adversarial Robustness;Universal Approximation
Expressivity of ReLU-Networks under Convex Relaxations