Horváth, Miklós

1 publications

NeurIPS 2022 (De-)Randomized Smoothing for Decision Stump Ensembles Miklós Horváth, Mark Müller, Marc Fischer, Martin Vechev