TY - RPRT TI - Scalable Certified Segmentation via Randomized Smoothing AU - Marc Fischer AU - Maximilian Baader AU - Martin Vechev PY - 2022 UR - https://arxiv.org/abs/2107.00228 ID - 2107.00228 ER -