CTBench: A Library and Benchmark for Certified Training.

Yuhao Mao, Stefan Balauca, Martin T. Vechev

Browse the full ICML paper archive.