Lean repository linked
Stress-Testing Neural Network Verifiers with Provably Robust Instances
arXiv:2605.17153 · arXiv
Lean formalisations (1)
AIQ-Kitware/aiq-veristressgt-formalization at 9cee3d9ebfcb
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.