2B • Updated • 125
8B • Updated • 66
8B • Updated • 38
• 1
8B • Updated • 49
8B • Updated • 154
• 1
2B • Updated • 10
l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
Updated • 180
2B • Updated • 166
• 6
2B • Updated • 186
• 15
l3lab/ntp-mathlib-context-deepseek-coder-1.3b
Text Generation • Updated • 197
• 3
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation • Updated • 77
Text Generation • Updated • 16
• 3