formalmathatepfl

university

https://www.epfl.ch/en/

AI & ML interests

None defined yet.

Recent Activity

etiennebamas updated a model 2 days ago

formalmathatepfl/deepseek-math-full-sft

etiennebamas published a model 2 days ago

formalmathatepfl/deepseek-math-full-sft

Lemmy00 updated a model 29 days ago

formalmathatepfl/deepseek-math-7B-finetuned

View all activity

formalmathatepfl 's models 10

formalmathatepfl/deepseek-math-full-sft

Text Generation • 7B • Updated 2 days ago • 19

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated 29 days ago • 372

formalmathatepfl/Qwen3-8B-finetuned

Text Generation • 8B • Updated Mar 24 • 62

formalmathatepfl/llama-finetuned

Text Generation • 8B • Updated Mar 24 • 25

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 46

formalmathatepfl/mistral-7B-v0.3-finetuned

Text Generation • 266k • Updated Mar 24 • 202

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 7

formalmathatepfl/Apertus-8B-finetuned

Text Generation • 274k • Updated Mar 16 • 588

formalmathatepfl/DeepseekProverV2Finetuned01

Text Generation • 7B • Updated Feb 25 • 2

formalmathatepfl/ApertusFinetuned02

Text Generation • 274k • Updated Feb 19 • 12