Randomized smoothing for certified robustness

We give a short proof of the Cohen-Rosenfeld-Kolter theorem on the certified robustness of randomized smoothing. Cohen-Rosenfeld-Kolter paper: https://arxiv.org/abs/1902.02918 Presented proof can be found in Salman-Yang-Li-Zhang-Zhang-Razenshteyn-Bubeck: https://arxiv.org/abs/1906.04584 For more background on adversarial examples see e.g., this video: https://www.youtube.com/watch?v=QWjPGHVrcEQ&list=PLgKuh-lKre12c2Il9mNX0Cmp9Z4oFNrQh