@article{ctbenchalibraryandbenchmarkforcertified,
  title = {CTBENCH: A Library and Benchmark for Certified Training},
  author = {Yuhao Mao and Stefan Balauca and Martin Vechev},
  year = {2024},
  eprint = {2406.04848},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2406.04848v3},
}