formalmathatepfl/deepseek-math-7B-finetuned
Text Generation • 250k • Updated • 193
formalmathatepfl
university
AI & ML interests
None defined yet.
Recent Activity
View all activity
models 9
formalmathatepfl/Qwen3-8B-finetuned
Text Generation • 8B • Updated • 343
formalmathatepfl/llama-finetuned
Text Generation • 8B • Updated • 49
formalmathatepfl/OLMo-3-7B-finetuned
Text Generation • 528k • Updated • 251
formalmathatepfl/mistral-7B-v0.3-finetuned
Text Generation • 266k • Updated • 132
formalmathatepfl/deepseek-7B-finetuned
Text Generation • 250k • Updated • 38
formalmathatepfl/Apertus-8B-finetuned
Text Generation • 274k • Updated • 373
formalmathatepfl/DeepseekProverV2Finetuned01
Text Generation • 7B • Updated • 9
formalmathatepfl/ApertusFinetuned02
Text Generation • 274k • Updated • 28
datasets 0
None public yet