Leanstral 1.5
Model overview
labs-leanstral-1-5
An experimental model for Lean 4 formal theorem proving.
reasoningcodinglong contextevaluationcode generationbenchmark reference
Representative version
labs-leanstral-1-5
| Company | Mistral AI |
|---|---|
| Release | 2026-06-30 |
| Release type | Model release |
| Parameters | Not disclosed |
| Architecture | Not disclosed |
| Context | 262,144 |
| Input modalities | text / code |
| Output modalities | text / code |
| Tool use / function calling | Tool use: Not disclosed; Function calling: Not disclosed |
| Structured output / reasoning | Confirmed: Reasoning |
| Vision / audio / video | Vision: Not disclosed; Audio: Not disclosed; Video: Not disclosed |
| Open weights / License | No open weights currently / weight license not disclosed mistral-leanstral-1-5-current · License not applicable |
| Vendor API | Available Mistral Docs changelog — June 30mistral-leanstral-1-5-current · 2026-06-30 |
| OpenRouter | Not separately listed on OpenRouter |
| Pricing | Official pricing page |
| Benchmark | No reliable public source |
| Public signals | No reliable public source |
| Use cases | Formal proof / Lean 4 research / Theorem-proving experiments / research evaluation |
| Claim evidence | Release eventMistral Docs changelog — June 30labs-leanstral-1-5 · 2026-06-30 Model specificationsLeanstral 1.5 model cardLeanstral 1.5 · labs-leanstral-1-5 |
OpenRouter
Pricing / context / availability
| OpenRouter | Not separately listed on OpenRouter |
|---|---|
| OpenRouter listing | Not separately listed in the current OpenRouter public list |
| Mapped version | labs-leanstral-1-5 mistral-leanstral-1-5-current |
| Pricing | Official pricing page |
| Context | 262144 |
| Speed/Latency | No reliable public source |
| Snapshot time | 2026-08-11T06:28:09.895Z |
| Source | View source |
Verified limitations
Usage boundaries
- Labs preview, not a production-GA model; API access is experimental.
Missing public information
Public information not yet available
Parameter scale not disclosedNot listed on OpenRouterNo reliable benchmark sourceNo public model-card activity countersNo linkable model-specific reviewSpeed/latency not disclosed