Autoformalization on PutnamBench
0.561Mean Cycle Consistency
RL (GRPO) 2B
Updated 23d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 0.561 | |
2026.03 | 0.548 | |
2026.03 | 0.432 | |
2026.03 | 0.422 | |
2026.03 | 0.034 | |
2026.03 | 0.004 |
RL (GRPO) 2B
| Method | Links | |
|---|---|---|
2026.03 | 0.561 | |
2026.03 | 0.548 | |
2026.03 | 0.432 | |
2026.03 | 0.422 | |
2026.03 | 0.034 | |
2026.03 | 0.004 |