A mid & post-trained version of mistral small 4 for Lean.
Input
Output
Context
197K
Max Output
—
Parameters
—
Input Modalities
Output Modalities
Data sourced from official provider APIs and documentation
Last updated: Mar 31, 2026
Compare pricing, benchmarks, and GPU requirements for any model. Free to use.