@misc{indiciae0fcc814c734b,
  title = {CTBENCH: A Library and Benchmark for Certified Training},
  author = {Yuhao Mao and Stefan Balauca and Martin Vechev},
  year = {2025},
  url = {https://arxiv.org/abs/2406.04848},
  note = {Source identifier: 2406.04848}
}