Leanstral 1.5Mistral AI
|
||||||
Related Products
|
||||||
About
Leanstral 1.5 is an Apache-2.0 licensed model for practical proof engineering in Lean 4, built to make formal verification more powerful and accessible. With 119B total parameters and only 6B active parameters, it delivers a major performance upgrade for theorem proving, agentic proof engineering, and real-world code verification. Leanstral 1.5 was trained through a three-stage process: mid-training, supervised fine-tuning, and reinforcement learning with CISPO. In the multiturn environment, the model receives a theorem statement, submits a proof, gets Lean compiler feedback, and refines its approach until the proof compiles or the budget is exhausted. In the code agent environment, Leanstral works like a developer in a raw filesystem: it edits files, runs bash commands, and uses the Lean language server to inspect goals, errors, and type information in real time.
|
About
The Lean Way is revolutionizing how companies capture, implement, measure and share continuous improvements. The Lean Way offers an engaging platform allowing you and your team to capture more opportunities for improvement, track the progress of each improvement and identify any bottlenecks in the process. The Lean Way will not only help you capture more opportunities; it will also help you implement more improvements to ensure maximum impact. Keep everyone up to speed on new improvements and allow everyone to stay on top of relevant conversations throughout your organization. Empower your people to learn from each other and use The Lean Way to search for new ideas or to let others know when you've had a stroke of genius. Purpose-built to help you optimize your workflow by removing bottlenecks and waste (Muda) from your process through the implementation of lean practices.
|
|||||
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
|||||
Audience
Engineers and researchers who need an open model for theorem proving, proof debugging, and real-world code verification
|
Audience
Companies searching for a lean and continuous improvement platform
|
|||||
Support
Phone Support
24/7 Live Support
Online
|
Support
Phone Support
24/7 Live Support
Online
|
|||||
API
Offers API
|
API
Offers API
|
|||||
Screenshots and Videos |
Screenshots and Videos |
|||||
Pricing
Free
Free Version
Free Trial
|
Pricing
$99 per month
Free Version
Free Trial
|
|||||
Reviews/
|
Reviews/
|
|||||
Training
Documentation
Webinars
Live Online
In Person
|
Training
Documentation
Webinars
Live Online
In Person
|
|||||
Company InformationMistral AI
Founded: 2023
France
mistral.ai/news/leanstral-1-5/
|
Company InformationThe Lean Way
United States
theleanway.net
|
|||||
Alternatives |
Alternatives |
|||||
|
|
|
|||||
|
|
|
|||||
|
|
||||||
|
|
||||||
Categories |
Categories |
|||||
Knowledge Management Features
Artificial Intelligence (AI)
Cataloging / Categorization
Collaboration
Content Management
Decision Tree
Discussion Boards
Full Text Search
Knowledge Base Management
Self Service Portal
|
||||||
Integrations
No info available.
|
Integrations
No info available.
|
|||||
|
|
|