Explanation Refinement on ProofWriter
92Initial Score
LLM-TP Tree
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.01 | 92 | 98 | |
2026.01 | 91.33 | 95.33 | |
2026.01 | 91.33 | 98 | |
2026.01 | 85.33 | 91.33 | |
2026.01 | 84 | 91.33 | |
2026.01 | 83.33 | 90.67 | |
2026.01 | 80 | 86.67 | |
2026.01 | 72.67 | 90 | |
2026.01 | 72 | 84.67 | |
2026.01 | 64 | 78 | |
2026.01 | 62.67 | 76.67 | |
2026.01 | 60 | 78.67 | |
2026.01 | 59.33 | 73.33 | |
2026.01 | 53.33 | 69.33 | |
2026.01 | 52.67 | 66.67 |