A Lean4 fine-tune of the new Mistral Small 4.
Relative Adoption Metric contextualizes downloads against the model's size bucket.