(De-)Randomized Smoothing for Decision Stump Ensembles - Horváth, Miklós; Müller, Mark; Fischer, Marc; Vechev, Martin (Advances in Neural Information Processing Systems, 2022)