A Mistral Small model fine-tuned for Lean.
Specs
Params119B (6.5B active)
LicenseApache-2.0
Adoption · Hugging Face
RAM @ 30d
Relative Adoption Metric: 0.00×. Below benchmark. Measured at 30 days.
Hugging Face Downloads
194
last 30d
921
all time
HF Likes
219
Relative Adoption Metric contextualizes downloads against the model's size bucket.
Related Models
