Lipschitz-Based Robustness Certification Under Floating-Point Execution
arXiv:2603.13334v1 Announce Type: new Abstract: Sensitivity-based robustness certification has emerged as a practical approach for certifying neural network robustness, including in settings that require verifiable …
Toby Murray
15 views
