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 models 4

totolerigolo/ministral_lora

Updated 12 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