@misc{indiciae7ac2e08f4427,
  title = {Certified Training: Small Boxes are All You Need},
  author = {Mark Niklas Müller and Franziska Eckert and Marc Fischer and Martin Vechev},
  year = {2023},
  url = {https://arxiv.org/abs/2210.04871},
  note = {Source identifier: 2210.04871}
}