2025
No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks
ICML 2025spotlight
The ultimate goal of verification is to guarantee the safety of deployed neural networks. Here, we claim that all the state-of-the-art verifiers we are aware of fail to reach this goal. Our key insight is that theoretical soundness (bounding the full-precision output while computing with floating po…