Automated Theorem Proving on UniGeo Plane Geometry 1.0 (test)
0.12Output Tokens (Thousands)
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 0.12 | |
2026.04 | 0.14 | |
2026.04 | 0.22 | |
2026.04 | 0.27 | |
2026.04 | 0.34 | |
2026.04 | 0.38 | |
2026.04 | 100 | |
2026.04 | 120 | |
2026.04 | 180 | |
2026.04 | 210 | |
2026.04 | 250 | |
2026.04 | 320 |