Lemma Judging on DeepTheorem sampled perturbation (test)
90.9Exact Match Accuracy
Llama-3.1 (RULES)
Updated 3mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.02 | 90.9 | |
2026.02 | 89.2 | |
2026.02 | 87.8 | |
2026.02 | 81.2 | |
2026.02 | 80.9 | |
2026.02 | 71.9 | |
2026.02 | 60.5 | |
2026.02 | 47.6 | |
2026.02 | 47 | |
2026.02 | 46.8 | |
2026.02 | 35.6 | |
2026.02 | 24 |