Thomas Moulin's picture

Thomas Moulin

totolerigolo

·

AI & ML interests

None yet

Organizations

totolerigolo 's datasets 3

totolerigolo/lean4-sft-dataset

Viewer • Updated Mar 1 • 107k • 23 • 1

totolerigolo/mistral-lean4-sft

Viewer • Updated Mar 1 • 107k • 1

totolerigolo/hacking-lean4

Viewer • Updated Feb 28 • 107k • 5