Lipschitz-Based Robustness Certification Under Floating-Point Execution

ArXi:2603.13334v1 Announce Type: new 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 these methods is that certification is performed by concrete numerical computation (rather than symbolic reasoning) and scales efficiently with network size.