formalmathatepfl

university

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

AI & ML interests

None defined yet.

Recent Activity

raduv98 updated a dataset 5 days ago

formalmathatepfl/sft-data-combined

Lemmy00 updated a dataset 6 days ago

formalmathatepfl/sft-data-combined

Lemmy00 updated a dataset 25 days ago

formalmathatepfl/lean-docs

View all activity

formalmathatepfl 's datasets 3

formalmathatepfl/sft-data-combined

Viewer • Updated 5 days ago • 3.6M • 143

formalmathatepfl/lean-docs

Viewer • Updated 25 days ago • 8.79k • 12

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated 29 days ago • 103k • 20