formalmathatepfl

university

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

AI & ML interests

None defined yet.

Recent Activity

etiennebamas updated a model 3 days ago

formalmathatepfl/Qwen3-8B-finetuned

etiennebamas published a model 3 days ago

formalmathatepfl/Qwen3-8B-finetuned

Lemmy00 updated a model 3 days ago

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

View all activity

models 3

formalmathatepfl/Qwen3-8B-finetuned

Text Generation • 8B • Updated 3 days ago • 216

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

Text Generation • 266k • Updated 3 days ago • 39

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated 3 days ago • 31

datasets 3

formalmathatepfl/sft-data-combined

Viewer • Updated 19 days ago • 3.6M • 201

formalmathatepfl/lean-docs

Viewer • Updated Feb 17 • 8.79k • 24

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated Feb 13 • 103k • 18