CTBench: A Library and Benchmark for Certified Training

Yuhao Mao, Stefan Balauca, Martin T. Vechev. CTBench: A Library and Benchmark for Certified Training. In Forty-second International Conference on Machine Learning, ICML 2025, Vancouver, BC, Canada, July 13-19, 2025. OpenReview.net, 2025. [doi]

Abstract

Abstract is missing.