| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Rocket Lander Controller | Regression Tree-Guided Probabilistic Verification | Us - Ls0.0791 | 8 | 3mo ago | |
| Rocket Lander Controller parallel | Regression Tree-Guided Probabilistic Verification | Us - Ls7.9063 | 8 | 3mo ago | |
| Side Channel | Praline | Average Latency (ms)330 | 2 | 1mo ago | |
| ATBench | SDP | Average Latency (ms)303 | 2 | 1mo ago | |
| Intercode | SDP | Average Latency (ms)221 | 2 | 1mo ago |
