Marc Fischer 0002 Maximilian Baader Martin T. Vechev Scalable Certified Segmentation via Randomized Smoothing. 3340-3351 2021 ICML http://proceedings.mlr.press/v139/fischer21a.html conf/icml/2021 db/conf/icml/icml2021.html#FischerBV21