formalmathatepfl

university

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

AI & ML interests

None defined yet.

Recent Activity

Lemmy00 updated a dataset 4 days ago

formalmathatepfl/sft_classic_numina

etiennebamas updated a model 9 days ago

formalmathatepfl/qwen3-cpt

etiennebamas published a model 9 days ago

formalmathatepfl/qwen3-cpt

View all activity

formalmathatepfl 's datasets 4

formalmathatepfl/sft_classic_numina

Viewer • Updated 4 days ago • 99.8k • 42

formalmathatepfl/sft_classic

Viewer • Updated 9 days ago • 3.3M • 176

formalmathatepfl/lean-docs

Viewer • Updated 12 days ago • 470k • 11

formalmathatepfl/rl_data

Viewer • Updated May 18 • 162k • 78 • 1