Thomas Moulin's picture

Thomas Moulin

totolerigolo

·

AI & ML interests

None yet

Recent Activity

updated a model 12 days ago

totolerigolo/ministral_lora

published a model 12 days ago

totolerigolo/ministral_lora

updated a dataset 12 days ago

totolerigolo/lean4-sft-dataset

View all activity

Organizations

totolerigolo 's datasets 3

totolerigolo/lean4-sft-dataset

Viewer • Updated 12 days ago • 107k • 10

totolerigolo/mistral-lean4-sft

Viewer • Updated 12 days ago • 107k • 19

totolerigolo/hacking-lean4

Viewer • Updated 12 days ago • 107k • 8