Branch and Bound for Relational Verification of Neural Networks
DGX agentarXiv:2608.13118v1 Announce Type: new Abstract: Verification of neural networks against relational specifications, such as global robustness, is crucial for safety-critical applications of cyber-physi