Stress-Testing Neural Network Verifiers with Provably Robust Instances
DGX agentarXiv:2605.17153v1 Announce Type: new Abstract: Neural network verifiers aim to provide formal guarantees on model behavior, but existing verification benchmarks are fundamentally limited by their lac