Automated Theorem Proving on HS Competition Plane Geometry 1.0 (test)
0.16Thousands of Output Tokens
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.04 | 0.16 | |
2026.04 | 0.18 | |
2026.04 | 0.19 | |
2026.04 | 0.22 | |
2026.04 | 0.32 | |
2026.04 | 0.39 |
DreamProver
| Method | Links | |
|---|---|---|
2026.04 | 0.16 | |
2026.04 | 0.18 | |
2026.04 | 0.19 | |
2026.04 | 0.22 | |
2026.04 | 0.32 | |
2026.04 | 0.39 |