4 ms·
Mistral.ai Leanstral: open-source model designed for engineering
- james2doyle 7mo ago> Leanstral > Our first open-source code agent designed for Lean 4, built for formal proof engineering in realistic repositories. 119B parameters with 6.5B active. Mentioned in the 2.5.0 release of the Vibe CLI tool: https://github.com/mistralai/mistral-vibe/releases/tag/v2.5.0 https://github.com/mistralai/mistral-vibe/releases/tag/v2.5.... A HuggingFace page is linked for the weights but it returns a 404: https://huggingface.co/mistralai/Leanstral-120B-A6B-2603 https://huggingface.co/mistralai/Leanstral-120B-A6B-2603
- james2doyle 7mo agoMentioned in the 2.5.0 release of the Vibe CLI tool: https://github.com/mistralai/mistral-vibe/releases/tag/v2.5.0 https://github.com/mistralai/mistral-vibe/releases/tag/v2.5....
- james2doyle 7mo agoThere is a blog post now: https://mistral.ai/news/leanstral https://mistral.ai/news/leanstral