Leanstral 1.5
DeprecatedAn updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
Deprecated endpoints may still be callable. Migrate before retirement.
Pricing
How much are you overpaying?
Enter your monthly spend on this model to see what the same workload could cost on cheaper alternatives.
Latest changes
Benchmarks
No benchmark data available.
⚡Leanstral 1.5 Comparisons & Scenario Guides
❓Leanstral 1.5 Frequently Asked Questions
How much does Leanstral 1.5 cost per 1M tokens?▼
Leanstral 1.5 is priced at $0.0000 per 1M input tokens and $0.0000 per 1M output tokens on official. Check provider terms before deployment.
What is the context window for Leanstral 1.5?▼
Leanstral 1.5 supports up to 262,144 tokens context with a max completion limit of 128,000 tokens.
What are cost-saving alternatives to Leanstral 1.5?▼
ModelPriceLab automatically calculates cheaper alternatives in the same model class, showing monthly spend differences and migration guides.
Does this change your best option?
Check your models and usage for free. See the relevant official changes, estimated cost, and a practical next step.