8 citations · 27 across the 23 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020★ 4 cited
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.LG2020
Certified Defense to Image Transformations via Randomized Smoothing
Marc Fischer, Maximilian Baader, Martin Vechev
We extend randomized smoothing to cover parameterized transformations (e.g., rotations, translations) and certify robustness in the parameter space (e.g., rotation angle). This is…