| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| MNIST 1000 images | β-CROWN FSB | Verified Accuracy79.3 | 30 | 1mo ago | |
| CIFAR 1000 images | β-CROWN FSB | Verified Accuracy51.6 | 13 | 1mo ago | |
| MNIST Wide | BDD+ | Execution Time1.5 | 13 | 1mo ago | |
| MNIST Deep | BDD+ | Time2.5 | 13 | 1mo ago | |
| CIFAR-10 Deep | β-CROWN FSB | Verification Time (s)5.69 | 12 | 1mo ago | |
| CIFAR-10 Wide | β-CROWN FSB | Verification Time (s)78.32 | 12 | 1mo ago | |
| CIFAR-10 Base | β-CROWN FSB | Verification Time (s)118.23 | 12 | 1mo ago | |
| acasxu VNN-COMP | Clip-and-Verify | Verification Time (s)150.25 | 11 | 1mo ago | |
| oval VNN-COMP 2022 | beta-CROWN | Verification Time (s)23.26 | 10 | 1mo ago | |
| nn4sys VNN-COMP | Verification Time (s)22.88 | 8 | 1mo ago | ||
| MNIST Wide (val) | BDD+ | Time (s)8.3 | 7 | 1mo ago | |
| MNIST Deep (val) | BDD+ | Time (s)15.4 | 7 | 1mo ago | |
| MNIST FFNet (val) | BDD+ | Execution Time (s)5.2 | 7 | 1mo ago | |
| CIFAR SGD first 1000 images (val) | BDD+ | Relative Bound-1.5 | 6 | 1mo ago | |
| MNIST Wide first 1000 images (val) | BDD+ | Relative Bound-4.2 | 6 | 1mo ago | |
| CIFAR SGD | BDD+ | Time (s)1.5 | 6 | 1mo ago | |
| MNIST FFNet | BDD+ | Time (s)1.7 | 6 | 1mo ago | |
| cifar100-tinyimagenet VNN-COMP 2022 | beta-CROWN | Verification Time (s)11.95 | 6 | 1mo ago | |
| lsnc VNN-COMP | Clip-and-Verify | Verification Time (s)84.3 | 5 | 1mo ago | |
| tinyimagenet VNN-COMP 2024 | BICCOS | Verified Properties Count140 | 5 | 1mo ago | |
| cifar100 VNN-COMP 2024 | BICCOS | Verified Properties Count125 | 5 | 1mo ago | |
| cartpole | Clip-and-Verify | Time (s)142 | 3 | 1mo ago | |
| Quadrotor-2D | Clip-and-Verify | Time (s)78,818 | 2 | 1mo ago | |
| Quad-2D-Large | Clip-and-Verify | Time (s)104,614 | 1 | 1mo ago | |
| CIFAR-10 | - | - | 0 | 1mo ago |
