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 28 days ago

formalmathatepfl/deepseek-math-7B-finetuned

View all activity

formalmathatepfl 's datasets

None public yet