arxivcs.LGcs.AI2026-06-30
Improving Certified Robustness via Adversarial Distillation
Matteo Melis, Jesus Martinez Del Rincon, Vishal Sharma
Certified training aims to produce models whose predictions can be formally verified against adversarial perturbations, typically by optimising upper bounds on the worst-case loss over an allowed perturbation set. For neural networks, certified training methods based purely on ti…