Multimodal Autoformalization on ANALYTIC GEOMETRY Solid Geometry
1Compile Rate
GPT-5
Updated 3d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.01 | 1 | 1 | - | |
2026.01 | 0.6 | 0.4 | 0.4 | |
2026.01 | 0.6 | 0.4 | 0.6 | |
2026.01 | 0.4 | 0.2 | - | |
2026.01 | 0.2 | 0.2 | 0 | |
2026.01 | 0.2 | 0.2 | - | |
2026.01 | 0 | 0 | - | |
2026.01 | 0 | 0 | - | |
2026.01 | 0 | 0 | 0 | |
2026.01 | 0 | 0 | - |