formalmathatepfl

university

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

AI & ML interests

None defined yet.

Recent Activity

etiennebamas updated a model 1 day ago

formalmathatepfl/deepseek-math-full-sft

etiennebamas published a model 1 day ago

formalmathatepfl/deepseek-math-full-sft

Lemmy00 updated a model 28 days ago

formalmathatepfl/deepseek-math-7B-finetuned

View all activity

models 10

formalmathatepfl/deepseek-math-full-sft

Text Generation • 7B • Updated 1 day ago • 12

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated 28 days ago • 392

formalmathatepfl/Qwen3-8B-finetuned

Text Generation • 8B • Updated Mar 24 • 63

formalmathatepfl/llama-finetuned

Text Generation • 8B • Updated Mar 24 • 34

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 56

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

Text Generation • 266k • Updated Mar 24 • 204

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 7

formalmathatepfl/Apertus-8B-finetuned

Text Generation • 274k • Updated Mar 16 • 607

formalmathatepfl/DeepseekProverV2Finetuned01

Text Generation • 7B • Updated Feb 25 • 10

formalmathatepfl/ApertusFinetuned02

Text Generation • 274k • Updated Feb 19 • 21

datasets 0

None public yet