Labs Leanstral 1.5.1
A mid & post-trained version of mistral small 4 for Lean (260618 SFT).
Input
Output
Context
262K
Max Output
-
Parameters
-
Technical Specifications
Model TypeVision
Context Window262,144 tokens
Max Output TokensNot available
ParametersNot available
Release DateJul 14, 2026
Training CutoffNot available
LicenseApache 2.0
Open SourceYes
Input Modalities
TextImage
Output Modalities
Text
Capabilities
More Models by Mistral
Voxtral Mini 4B Realtime 2602131K context · 4.4B · Open weightsMistral Small 2506131K context · Open weightsMagistral Small 2509131K context · 24B · Open weightsMinistral 3 8B Instruct 2512 BF16262K context · 8.9B · Open weightsMistral 7B Instruct V0.233K context · 7.2B · Open weightsVoxtral Mini 3B 2507131K context · 4.7B · Open weights
Related Tools
Data sourced from official provider APIs and documentation
Last updated: Jul 17, 2026
Your AI stack shouldn't stand still.
Every month new models become cheaper, faster, and more capable. Inferbase ensures your application automatically benefits without changing a single API call.