Robust and Accurate - Compositional Architectures for Randomized Smoothing. - Horváth, Miklós Z.; Müller, Mark Niklas; Fischer, Marc; Vechev, Martin T. (CoRR, 2022)