| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Classification | Geometry | Accuracy99.23 | 12 | |
| Online Out-of-Distribution Detection | Geometry Far-shift OOD | Accuracy0.9447 | 3 | |
| Specification Generation in Geometry Formal Language | IMP-Geometry3K | All: Likely Same99.33 | 3 |