labs-leanstral-2603
mistralai
A mid & post-trained version of mistral small 4 for Lean
- Context window
- 196,608 tokens
- Input cost
- —
- Output cost
- —
- Latency (p50)
- —
Compare Models
Run side-by-side checks for pricing, context window, and latency.
Run side-by-side checks for pricing, context window, and latency.
mistralai
A mid & post-trained version of mistral small 4 for Lean