Thomas Moulin

totolerigolo

·

AI & ML interests

None yet

Organizations

spaces 5

Skill Llm Trainer

Train and fine-tune LLMs with Hugging Face TRL jobs

AutoTrain Advanced

Create powerful AI models without code

AutoTrain Advanced

Create powerful AI models without code

AutoTrain Advanced

Create powerful AI models without code

AutoTrain Advanced

Create powerful AI models without code

models 4

totolerigolo/ministral_lora

totolerigolo/Ministral-3B-Lean4-SFT

totolerigolo/Ministral-8B-Lean4-SFT

totolerigolo/Mistral-7B-Lean4-SFT

datasets 3

totolerigolo/lean4-sft-dataset

Viewer • Updated Mar 1 • 107k • 18 • 1

totolerigolo/mistral-lean4-sft

Viewer • Updated Mar 1 • 107k • 7

totolerigolo/hacking-lean4

Viewer • Updated Feb 28 • 107k • 16