Department of Computer Science, ETH Zurich, Switzerland
Miklós Horváth, Mark Müller, Marc Fischer, Martin Vechev
adversarial robustness;certified robustness;randomized smoothing;tree-based models
(De-)Randomized Smoothing for Decision Stump Ensembles