ML Anthology

Mirman, Matthew B

1 publications

TMLR 2022 The Fundamental Limits of Neural Networks for Interval Certified Robustness Matthew B Mirman, Maximilian Baader, Martin Vechev