Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Thomas Moulin
totolerigolo
Follow
0 followers
·
1 following
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
totolerigolo
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a model
11 days ago
totolerigolo/ministral_lora
Updated
11 days ago
published
a model
11 days ago
totolerigolo/ministral_lora
Updated
11 days ago
updated
a dataset
11 days ago
totolerigolo/lean4-sft-dataset
Viewer
•
Updated
11 days ago
•
107k
•
10
published
a dataset
11 days ago
totolerigolo/lean4-sft-dataset
Viewer
•
Updated
11 days ago
•
107k
•
10
published
3 models
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
updated
a dataset
12 days ago
totolerigolo/mistral-lean4-sft
Viewer
•
Updated
12 days ago
•
107k
•
19
published
a dataset
12 days ago
totolerigolo/mistral-lean4-sft
Viewer
•
Updated
12 days ago
•
107k
•
19
updated
a dataset
12 days ago
totolerigolo/hacking-lean4
Viewer
•
Updated
12 days ago
•
107k
•
8
published
a dataset
12 days ago
totolerigolo/hacking-lean4
Viewer
•
Updated
12 days ago
•
107k
•
8