Theorem Proving on CombiBench (pass@32)
16pass@32
WZ-LLM
Updated 27d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.05 | 16 | |
2026.05 | 15 | |
2026.05 | 15 | |
2026.05 | 13 | |
2026.05 | 12 | |
2026.05 | 8 | |
2026.05 | 6 | |
2026.05 | 1 |
WZ-LLM
| Method | Links | |
|---|---|---|
2026.05 | 16 | |
2026.05 | 15 | |
2026.05 | 15 | |
2026.05 | 13 | |
2026.05 | 12 | |
2026.05 | 8 | |
2026.05 | 6 | |
2026.05 | 1 |