| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Safety Verification scenarios (test) | Multi-Agent Emotion-to-Response System | Pass Rate100 | 4 | 4d ago | |
| Exponential | Neural Abstractions | Time308 | 2 | 4d ago | |
| Steam Governor | Verification Time62 | 2 | 4d ago | ||
| Jet Engine | Neural Abstractions | Metric t215 | 2 | 4d ago | |
| Non-Lipschitz 2 | Neural Abstractions | Generic Variable t59 | 1 | 4d ago | |
| Non-Lipschitz 1 | Neural Abstractions | Parameter t19 | 1 | 4d ago | |
| Water Tank | Neural Abstractions | Time Placeholder49 | 1 | 4d ago |
