Autoformalization on FLC (held-out)
66.9Mean Cycle Consistency
RL (GRPO) 2B
Updated 23d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 66.9 | |
2026.03 | 58.5 | |
2026.03 | 51.9 | |
2026.03 | 51.3 | |
2026.03 | 9.3 | |
2026.03 | 2.9 |
RL (GRPO) 2B
| Method | Links | |
|---|---|---|
2026.03 | 66.9 | |
2026.03 | 58.5 | |
2026.03 | 51.9 | |
2026.03 | 51.3 | |
2026.03 | 9.3 | |
2026.03 | 2.9 |