LLM Comparison
DeepSeek V3.2 Exp vs Leanstral 1.5
Side-by-side specs, pricing & capabilities · Updated August 2026
Add to comparison
2/6 modelsSame tier:
| Organization | ||
| OpenTools Score | 40 116 | |
| Family | DeepSeek | Leanstral |
| Status | Current | Current |
| Release Date | Sep 2025 | Jun 2026 |
| Context Window | 164K tokens | 256K tokens |
| Input Price | $0.27/M tokens | Free |
| Output Price | $0.41/M tokens | Free |
| Pricing Notes | — | Mistral model card lists Leanstral 1.5 price as $0. Changelog says the Labs endpoint is scheduled to retire on 2026-09-30. |
| Capabilities | textcode | textreasoningcodingformal-verificationtool-usestructured-output |
| Max Output | 66K tokens | 128K tokens |
| API Identifier | deepseek/deepseek-v3.2-exp | labs-leanstral-1-5 |
| Benchmarks | ||
| MMLU-Pro | 85deepseek | — |
| GPQA Diamond | 79.9deepseek | — |
| AIME 2025 | 89deepseek | — |
| HMMT 2025 | 84deepseek | — |
| SWE-bench Verified | 67.8deepseek | — |
| Terminal-Bench | 37.7deepseek | — |
| BrowseComp | 40.1deepseek | — |
| miniF2F | — | 100mistral |
| PutnamBench | — | 587mistral |
| FLTEval pass@8 | — | 43.2mistral |
| View DeepSeek V3.2 Exp | View Leanstral 1.5 | |
Cost Calculator
Enter your expected monthly token usage to compare costs.
| Model | Input | Output | Total / mo | vs Best |
|---|---|---|---|---|
| Leanstral 1.5Cheapest | $0.00 | $0.00 | $0.00 | — |
| DeepSeek V3.2 Exp | $0.27 | $0.21 | $0.48 | +0% |
DeepSeek
DeepSeek V3.2 Exp
DeepSeek V3.2 Exp is a large language model from DeepSeek. Supports up to 163,840 token context window. Achieves 87.1% on MMLU. Available from $0.27/M input tokens.
Mistral AI
Leanstral 1.5
Leanstral 1.5 is Mistral AI free Lean 4 formal proof-engineering model for automated theorem proving, autoformalization, and real-world code verification. Official Mistral docs list it as a Labs model with 119B total parameters, 6.5B active parameters, a 256k context window, 128k max output, $0 pricing, and the labs-leanstral-1-5 API identifier.
More Comparisons
Looking for more AI models?
Browse All LLMs