2026
Rethinking Evaluation Paradigms in IBP-based Certified Training
ICML 2026poster
Deep neural networks achieve strong performance on many supervised learning tasks but remain vulnerable to adversarial perturbations. Neural network verification provides mathematically rigorous robustness guarantees, yet at substantial computational cost. To mitigate this, certified training techni…