Geometry Proof Generation on geometry
81.21Accuracy
CDS
Updated 20d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.05 | 81.21 | |
2026.05 | 80.79 | |
2026.05 | 80.37 | |
2026.05 | 78.29 | |
2026.05 | 78.08 | |
2026.05 | 76.83 | |
2026.05 | 75.99 | |
2026.05 | 75.99 | |
2026.05 | 75.78 | |
2026.05 | 75.37 | |
2026.05 | 75.11 | |
2026.05 | 74.74 | |
2026.05 | 74.32 | |
2026.05 | 73.9 | |
2026.05 | 73.07 | |
2026.05 | 70.36 | |
2026.05 | 68.89 | |
2026.05 | 68.27 | |
2026.05 | 67.85 | |
2026.05 | 66.6 | |
2026.05 | 66.18 | |
2026.05 | 65.76 | |
2026.05 | 65.55 | |
2026.05 | 65.14 |