formalmathatepfl

university

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

AI & ML interests

None defined yet.

Recent Activity

etiennebamas updated a model 4 days ago

formalmathatepfl/Qwen3-8B-finetuned

etiennebamas published a model 4 days ago

formalmathatepfl/Qwen3-8B-finetuned

Lemmy00 updated a model 4 days ago

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

View all activity

formalmathatepfl 's datasets 3

formalmathatepfl/sft-data-combined

Viewer • Updated 19 days ago • 3.6M • 217

formalmathatepfl/lean-docs

Viewer • Updated Feb 17 • 8.79k • 23

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated Feb 13 • 103k • 17