Mistral.ai Leanstral: open-source model designed for engineering (docs.mistral.ai) 5 points by james2doyle 4mo ago ↗ HN
[–] james2doyle 4mo 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.... A HuggingFace page is linked for the weights but it returns a 404: https://huggingface.co/mistralai/Leanstral-120B-A6B-2603
2 comments
[ 2.3 ms ] story [ 17.8 ms ] threadMentioned in the 2.5.0 release of the Vibe CLI tool: 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