@misc{indiciaecbf8821a0a8a,
  title = {(De-)Randomized Smoothing for Decision Stump Ensembles},
  author = {Miklós Z. Horváth and Mark Niklas Müller and Marc Fischer and Martin Vechev},
  year = {2022},
  url = {https://arxiv.org/abs/2205.13909},
  note = {Source identifier: 2205.13909}
}