Library
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Theorem Proving | Library 10 | Proof Length10 | 6 | |
| Automated Theorem Proving | Library Plane Geometry 1.0 (test) | Output Tokens (Thousands)0.08 | 6 | |
| Visual Navigation | Library Dynamic | Success Rate80 | 6 | |
| Visual Navigation | Library Static | SR1 | 6 | |
| Library Extension | Library Ext. | Accuracy40 | 5 | |
| Object Placement | Library polygon | Object Count88.6 | 3 | |
| Object Rearrangement | Library 30 m × 30 m (simulation) | Bin Success Rate100 | 1 |
Showing 7 of 7 rows