Mistral.ai Leanstral: open-source model designed for engineering

Mistral.ai Leanstral: open-source model designed for engineering(docs.mistral.ai)

5 points by james2doyle 62 days ago | 3 comments

> 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

james2doyle 62 days ago | |

Mentioned in the 2.5.0 release of the Vibe CLI tool: https://github.com/mistralai/mistral-vibe/releases/tag/v2.5....

james2doyle 62 days ago |

There is a blog post now: https://mistral.ai/news/leanstral