Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Language Modeling on Proofpile (test)

3.68Performance (8K Context)

YaRN

3.423123.489813.55653.62319Jan 28, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.01
3.683.082.752.492.38
2026.01
3.673.72---
2026.01
3.663.062.742.472.41
2026.01
3.633.032.712.452.34
2026.01
3.5483.7787.782--
2026.01
3.5483.7787.782--
2026.01
3.4492.8942.5892.3332.222
2026.01
3.4492.8942.5892.3332.222
2026.01
3.442.8852.5812.3292.224
2026.01
3.442.8852.5812.3292.224
2026.01
3.4332.8812.5792.3282.221
2026.01
3.4332.8812.5792.3282.221