Autoformalization on PRIME
80.13Success Count (SC)
DSR
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.04 | 80.13 | 67.95 | |
2026.04 | 77.56 | 66.67 | |
2026.04 | 75.64 | 60.26 | |
2026.04 | 75 | 48.08 | |
2026.04 | 63.46 | 56.41 | |
2026.04 | 57.69 | 50 | |
2026.04 | 47.44 | 42.31 |
DSR
| Method | Links | ||
|---|---|---|---|
2026.04 | 80.13 | 67.95 | |
2026.04 | 77.56 | 66.67 | |
2026.04 | 75.64 | 60.26 | |
2026.04 | 75 | 48.08 | |
2026.04 | 63.46 | 56.41 | |
2026.04 | 57.69 | 50 | |
2026.04 | 47.44 | 42.31 |