| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| 2D Quadrotor output | CT-BaB | Training Time2 | 2 | 12d ago | |
| 2D Quadrotor | CT-BaB | Training Time1.5 | 2 | 12d ago | |
| Path Tracking | CT-BaB | Training Time198 | 2 | 12d ago | |
| Inverted Pendulum output | CEGIS | Training Time (min)7.3 | 2 | 12d ago | |
| Inverted Pendulum | CT-BaB | Training Time (min)1.7 | 2 | 12d ago |
