Geometry
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| 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 |
Showing 2 of 2 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| 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 |