Lipschitz-Based Robustness Certification Under Floating-Point Execution
arXiv:2603.13334v3 Announce Type: replace
Abstract: Sensitivity-based robustness certification has emerged as a practical approach for certifying neural network robustness, including in settings that require verifiable guarantees. A key advantage of t…