[NeurIPS 2022] (De-)Randomized Smoothing for Decision Stump Ensembles - View it on GitHub