2B • Updated • 125
8B • Updated • 52
8B • Updated • 38
• 1
8B • Updated • 49
8B • Updated • 165
• 1
2B • Updated • 10
l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2
Updated • 174
2B • Updated • 178
• 6
2B • Updated • 187
• 15
l3lab/ntp-mathlib-context-deepseek-coder-1.3b
Text Generation • Updated • 194
• 3
l3lab/ntp-mathlib-st-deepseek-coder-1.3b
Text Generation • Updated • 79
Text Generation • Updated • 16
• 3