Mao, Yuhao

6 publications

ICML 2025 Average Certified Radius Is a Poor Metric for Randomized Smoothing Chenhao Sun, Yuhao Mao, Mark Niklas Mueller, Martin Vechev

ICML 2025 CTBench: A Library and Benchmark for Certified Training Yuhao Mao, Stefan Balauca, Martin Vechev

TMLR 2025 Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations Stefan Balauca, Mark Niklas Mueller, Yuhao Mao, Maximilian Baader, Marc Fischer, Martin Vechev

ICLR 2024 Expressivity of ReLU-Networks Under Convex Relaxations Maximilian Baader, Mark Niklas Mueller, Yuhao Mao, Martin Vechev

ICLR 2024 Understanding Certified Training with Interval Bound Propagation Yuhao Mao, Mark Niklas Mueller, Marc Fischer, Martin Vechev

NeurIPS 2023 Connecting Certified and Adversarial Training Yuhao Mao, Mark Müller, Marc Fischer, Martin Vechev