conftrace_

Yuhao Mao

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

Achievements

Jump to papers ↓

🌍 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