Plane Geometry Problem Solving on Formalgeo (test)
0.857Accuracy
MLLM Interpreter
Updated 3d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.01 | 0.857 | |
2026.01 | 0.818 | |
2026.01 | 0.805 | |
2026.01 | 0.753 | |
2026.01 | 0.734 | |
2026.01 | 0.691 | |
2026.01 | 0.691 | |
2026.01 | 0.598 | |
2026.01 | 0.58 | |
2026.01 | 0.573 |