Theorem Proving on TheoremQA
13.5Accuracy
InternLM2-20B
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2024.03 | 13.5 | |
2024.03 | 10.5 | |
2024.03 | 10.4 | |
2024.03 | 6.5 | |
2024.03 | 5 | |
2024.03 | 4.6 | |
2024.03 | 3.3 | |
2024.03 | 2.6 | |
2024.03 | 2.6 | |
2024.03 | 2.5 | |
2024.03 | 1.8 | |
2024.03 | 1.6 | |
2024.03 | 1 |