Labs Leanstral 2603
A mid & post-trained version of mistral small 4 for Lean.
Input
Output
Context
197K
Max Output
-
Parameters
119B
Technical Specifications
Model TypeVision
Context Window196,608 tokens
Max Output TokensNot available
Parameters119B
Release DateJun 18, 2026
Training CutoffNot available
LicenseApache 2.0
Open SourceYes
Input Modalities
TextImage
Output Modalities
Text
Capabilities
Estimated GPU Requirements for Labs Leanstral 2603
Estimates based on INT8 quantization. Actual requirements vary by framework and configuration.
Related Tools
Data sourced from official provider APIs and documentation
Last updated: Jun 19, 2026
Start building with the right model.
Automatically route workloads to the right model for every task, every time.