formalmathatepfl/deepseek-math-7B-finetuned
Text Generation • 250k • Updated • 311
formalmathatepfl
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
formalmathatepfl/Qwen3-8B-finetuned
Text Generation • 8B • Updated • 168
formalmathatepfl/llama-finetuned
Text Generation • 8B • Updated • 63
formalmathatepfl/OLMo-3-7B-finetuned
Text Generation • 528k • Updated • 282
formalmathatepfl/mistral-7B-v0.3-finetuned
Text Generation • 266k • Updated • 129
formalmathatepfl/deepseek-7B-finetuned
Text Generation • 250k • Updated • 8
formalmathatepfl/Apertus-8B-finetuned
Text Generation • 274k • Updated • 363
formalmathatepfl/DeepseekProverV2Finetuned01
Text Generation • 7B • Updated • 10
formalmathatepfl/ApertusFinetuned02
Text Generation • 274k • Updated • 20