Labs Leanstral 1.5.1
A mid & post-trained version of mistral small 4 for Lean (260618 SFT).
Input
Output
Context
262K
Max Output
131K
Parameters
-
Technical Specifications
Model TypeVision
Context Window262,144 tokens
Max Output Tokens131,072 tokens
ParametersNot available
Release DateAug 28, 2026
Training CutoffNot available
LicenseApache 2.0
Open SourceYes
Input Modalities
TextImage
Output Modalities
Text
Capabilities
More Models by Mistral
Voxtral Mini Realtime Charente 2606 Solutions33K context · Open weightsVoxtral Mini 4B Realtime 2602131K context · 4.4B · 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 weightsMistral Embed 23128K context · Proprietary
Related Tools
Data sourced from official provider APIs and documentation
Last updated: Aug 28, 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.