formalmathatepfl

university

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

AI & ML interests

None defined yet.

Recent Activity

etiennebamas updated a model 5 days ago

formalmathatepfl/deepseek-math-full-sft

etiennebamas published a model 5 days ago

formalmathatepfl/deepseek-math-full-sft

Lemmy00 updated a model about 1 month ago

formalmathatepfl/deepseek-math-7B-finetuned

View all activity

models 10

formalmathatepfl/deepseek-math-full-sft

Text Generation • 7B • Updated 5 days ago • 25

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated Apr 7 • 238

formalmathatepfl/Qwen3-8B-finetuned

Text Generation • 8B • Updated Mar 24 • 45

formalmathatepfl/llama-finetuned

Text Generation • 8B • Updated Mar 24 • 18

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 32

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

Text Generation • 266k • Updated Mar 24 • 180

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 1

formalmathatepfl/Apertus-8B-finetuned

Text Generation • 274k • Updated Mar 16 • 550

formalmathatepfl/DeepseekProverV2Finetuned01

Text Generation • 7B • Updated Feb 25 • 1

formalmathatepfl/ApertusFinetuned02

Text Generation • 274k • Updated Feb 19 • 3

datasets 0

None public yet