formalmathatepfl

university

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

AI & ML interests

None defined yet.

Recent Activity

etiennebamas updated a model 3 days ago

formalmathatepfl/deepseek-math-full-sft

etiennebamas published a model 3 days ago

formalmathatepfl/deepseek-math-full-sft

Lemmy00 updated a model 30 days ago

formalmathatepfl/deepseek-math-7B-finetuned

View all activity

models 10

formalmathatepfl/deepseek-math-full-sft

Text Generation • 7B • Updated 3 days ago • 23

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated 30 days ago • 248

formalmathatepfl/Qwen3-8B-finetuned

Text Generation • 8B • Updated Mar 24 • 49

formalmathatepfl/llama-finetuned

Text Generation • 8B • Updated Mar 24 • 22

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 39

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

Text Generation • 266k • Updated Mar 24 • 194

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 1

formalmathatepfl/Apertus-8B-finetuned

Text Generation • 274k • Updated Mar 16 • 563

formalmathatepfl/DeepseekProverV2Finetuned01

Text Generation • 7B • Updated Feb 25 • 2

formalmathatepfl/ApertusFinetuned02

Text Generation • 274k • Updated Feb 19 • 8

datasets 0

None public yet