LLM Comparison
Leanstral 1.5 vs MiniCPM
Side-by-side specs, pricing & capabilities · Updated August 2026
Add to comparison
2/6 models| Organization | ||
| OpenTools Score | ||
| Family | Leanstral | MiniCPM |
| Status | Current | Current |
| Release Date | Jun 2026 | — |
| Context Window | 256K tokens | 128K tokens |
| Input Price | Free | Free |
| Output Price | Free | 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. | Open-weight GitHub and Hugging Face model family. There is no fixed vendor API price; runtime cost depends on the host, hardware, or inference provider. |
| Capabilities | textreasoningcodingformal-verificationtool-usestructured-output | textcodereasoninglocal-inference |
| Training Cutoff | — | Not publicly specified in queued source |
| Max Output | 128K tokens | 33K tokens |
| API Identifier | labs-leanstral-1-5 | OpenBMB/MiniCPM |
| Benchmarks | ||
| miniF2F | 100mistral | — |
| PutnamBench | 587mistral | — |
| FLTEval pass@8 | 43.2mistral | — |
| MiniCPM-SALA standard benchmark average | — | 76.53official-github-readme |
| MiniCPM-SALA long-context average | — | 38.97official-github-readme |
| MiniCPM-SALA 2048K extrapolation score | — | 81.6official-github-readme |
| MiniCPM4.1 reasoning decoding speedup | — | 3official-github-readme |
| MiniCPM4 Jetson AGX Orin decoding speedup vs Qwen3-8B | — | 7official-github-readme |
| View Leanstral 1.5 | View MiniCPM | |
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 | — |
| MiniCPMCheapest | $0.00 | $0.00 | $0.00 | — |
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.
OpenBMB
MiniCPM
MiniCPM is OpenBMB’s ultra-efficient open language-model family for edge and end-device deployment. The MiniCPM4 and MiniCPM4.1 lines focus on fast local reasoning, while MiniCPM-SALA extends the family toward sparse/linear attention and million-token context research.
More Comparisons
Looking for more AI models?
Browse All LLMs