Yuhao Mao

Dual Randomized Smoothing: Beyond Global Noise Variance

Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification

Average Certified Radius is a Poor Metric for Randomized Smoothing

CTBench: A Library and Benchmark for Certified Training

CTBench: A Library and Benchmark for Certified Training

Average Certified Radius is a Poor Metric for Randomized Smoothing

Multi-Neuron Unleashes Expressivity of ReLU Networks Under Convex Relaxation

Gaussian Loss Smoothing Enables Certified Training with Tight Convex Relaxations