Multimodal Autoformalization on SYNTHETIC GEOMETRY Plane Geometry
70Compile Rate
Gemini-3-Pro
Updated 3d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.01 | 70 | 70 | 40 | |
2026.01 | 40 | 40 | 20 | |
2026.01 | 40 | 30 | - | |
2026.01 | 30 | 30 | - | |
2026.01 | 30 | 30 | 20 | |
2026.01 | 30 | 30 | - | |
2026.01 | 10 | 10 | - | |
2026.01 | 10 | 0 | 0 | |
2026.01 | 0 | 0 | 0 | |
2026.01 | 0 | 0 | - |