2 papers
cs.LG2020
Efficient Certification of Spatial Robustness
Anian Ruoss, Maximilian Baader, Mislav Balunović +1
Recent work has exposed the vulnerability of computer vision models to vector field attacks. Due to the widespread usage of such models in safety-critical applications, it is cruci…
cs.LG2019
Universal Approximation with Certified Networks
Maximilian Baader, Matthew Mirman, Martin Vechev
Training neural networks to be certifiably robust is critical to ensure their safety against adversarial attacks. However, it is currently very difficult to train a neural network…