Autoformalization on Gaokao Formal
74.2Mean Score
SFT+GRPO-0%
Updated 3d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.04 | 74.2 | 80.9 | |
2026.04 | 73.2 | 78.5 | |
2026.04 | 73.1 | 76.8 | |
2026.04 | 71.9 | 80.5 | |
2026.04 | 71.6 | 79.1 | |
2026.04 | 71.6 | 80.4 | |
2026.04 | 42.3 | 71.2 | |
2026.04 | 21.5 | 67.8 |