Yuhao Mao

5 papers · 2023–2025 · 3 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (3) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (15)

Conferences

ICLR (2) ICML (2) NIPS (1)

Top co-authors

Martin Vechev (5) Mark Niklas Mueller (3) Marc Fischer (2) Stefan Balauca (1) Maximilian Baader (1) Chenhao Sun (1) Mark Müller (1)

Keywords

certified robustness (1) adversarial training (1) interval bound propagation (1) neural network (1) certified accuracy (1)

Papers

CTBench: A Library and Benchmark for Certified Training ICML 2025

Average Certified Radius is a Poor Metric for Randomized Smoothing ICML 2025

Understanding Certified Training with Interval Bound Propagation ICLR 2024

Expressivity of ReLU-Networks under Convex Relaxations ICLR 2024

Connecting Certified and Adversarial Training NIPS 2023