A Formally Verified Robustness Certifier for Neural Networks (Extended Version)International Conference on Computer Aided Verification (CAV), 2025 |
Bridging the Theoretical Gap in Randomized SmoothingInternational Conference on Artificial Intelligence and Statistics (AISTATS), 2025 |