Thomas Moulin's picture

Thomas Moulin

totolerigolo

·

AI & ML interests

None yet

Recent Activity

updated a model 11 days ago

totolerigolo/ministral_lora

published a model 11 days ago

totolerigolo/ministral_lora

updated a dataset 11 days ago

totolerigolo/lean4-sft-dataset

View all activity

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

Updated 11 days ago

totolerigolo/Ministral-3B-Lean4-SFT

Updated 12 days ago

totolerigolo/Ministral-8B-Lean4-SFT

Updated 12 days ago

totolerigolo/Mistral-7B-Lean4-SFT

Updated 12 days ago

datasets 3

totolerigolo/lean4-sft-dataset

Viewer • Updated 11 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