| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Iris dataset (test) | Vulnerable Samples0 | 90 | 1mo ago | ||
| Iris | Duality | Vulnerable Samples Count0 | 50 | 1mo ago | |
| Iris Sigmoid Network | Duality | Vulnerable Samples0 | 50 | 1mo ago | |
| make_moons | Neurify | Certified Accuracy (eps=0.05)100 | 22 | 1mo ago | |
| ENZYMES Robust instances | RobLight | Solved Count559 | 20 | 1mo ago | |
| CIFAR-10 epsilon=2/255 (first 200 examples) | β-CROWN FSB | Verified Accuracy54 | 20 | 1mo ago | |
| MNIST (test) | ABSCERT | Verified Error Rate0.52 | 10 | 1mo ago | |
| CIFAR (test) | BICCOS | Verification Rate62 | 9 | 1mo ago | |
| ENZYMES All instances | RobLight | Solved Count3,586 | 8 | 1mo ago | |
| MNIST epsilon=0.3 (first 200 examples) | β-CROWN FSB | Verified Accuracy70.5 | 8 | 1mo ago | |
| CIFAR | Clip-and-Verify | Verified Accuracy0.605 | 8 | 1mo ago | |
| CIFAR-10 (test) | ABSCERT | Verified Error14.12 | 7 | 1mo ago | |
| OVAL 22 | Clip-and-Verify | Verified Accuracy90 | 6 | 1mo ago | |
| CIFAR-10 | Clip-and-Verify | Verified Accuracy88.89 | 6 | 1mo ago | |
| MNIST | BICCOS | Verified Accuracy76 | 6 | 1mo ago | |
| MUTAG All instances | RobLight | Solved Count188 | 5 | 1mo ago | |
| ENZYMES global budget Delta=2, local budget delta=2 | RobLight | All Instances Solved599 | 5 | 1mo ago | |
| MUTAG global budget Delta=2, local budget delta=2 | RobLight | Solved Count (All Instances)188 | 5 | 1mo ago | |
| tinyimagenet 2024 | Clip-and-Verify | Verified Accuracy (%)72 | 4 | 1mo ago | |
| cifar100 2024 | Clip-and-Verify | Verified Accuracy65.5 | 4 | 1mo ago | |
| vision-transformer 2024 | Clip-and-Verify | Verified Accuracy61 | 2 | 1mo ago | |
| MNIST epsilon=0.3 (test) | - | Verified Accuracy- | 0 | 1mo ago |
