Language Modeling on ProofPile (4K)
3.26Perplexity
LongAlpaca-16K
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 3.26 | |
2026.03 | 3.36 | |
2026.03 | 3.47 | |
2026.03 | 3.47 | |
2026.03 | 3.58 | |
2026.03 | 3.82 | |
2026.03 | 3.82 | |
2026.03 | 4.08 |
LongAlpaca-16K
| Method | Links | |
|---|---|---|
2026.03 | 3.26 | |
2026.03 | 3.36 | |
2026.03 | 3.47 | |
2026.03 | 3.47 | |
2026.03 | 3.58 | |
2026.03 | 3.82 | |
2026.03 | 3.82 | |
2026.03 | 4.08 |