Language Modeling on ProofPile (16K)
3.24Perplexity
SHAREDLLM
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 3.24 | |
2026.03 | 3.34 | |
2026.03 | 3.34 | |
2026.03 | 3.37 | |
2026.03 | 3.38 | |
2026.03 | 3.51 | |
2026.03 | 3.64 | |
2026.03 | 4.19 |
SHAREDLLM
| Method | Links | |
|---|---|---|
2026.03 | 3.24 | |
2026.03 | 3.34 | |
2026.03 | 3.34 | |
2026.03 | 3.37 | |
2026.03 | 3.38 | |
2026.03 | 3.51 | |
2026.03 | 3.64 | |
2026.03 | 4.19 |