3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.OC2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks
Brendon G. Anderson, Samuel Pfrommer, Somayeh Sojoudi
The reliable deployment of neural networks in control systems requires rigorous robustness guarantees. In this paper, we obtain tight robustness certificates over convex attack set…
cs.LG2023★ 3 cited
Projected Randomized Smoothing for Certified Adversarial Robustness
Samuel Pfrommer, Brendon G. Anderson, Somayeh Sojoudi
Randomized smoothing is the current state-of-the-art method for producing provably robust classifiers. While randomized smoothing typically yields robust -ball certificates…