APA (7th ed.) Citation

Mao, Y., Balauca, S., & Vechev, M. (2024). CTBENCH: A Library and Benchmark for Certified Training.

Chicago Style (17th ed.) Citation

Mao, Yuhao, Stefan Balauca, and Martin Vechev. CTBENCH: A Library and Benchmark for Certified Training. 2024.

MLA (9th ed.) Citation

Mao, Yuhao, et al. CTBENCH: A Library and Benchmark for Certified Training. 2024.