Leanstral-1.5-119B-A6B

Name: Leanstral-1.5-119B-A6B
Rating: 39.2 (213 reviews)
Author: Mistral AI

#1635SpecializedOpen Weights

Mistral AI

Mistral AI's open-weight Lean 4 code agent for automated theorem proving, formal proof engineering, and autoformalization.

Running this yourself: likely needs a high-memory cloud gpu.

Model updates refreshed1w agoAug 11, 2026news + changelog

39.2

Quality Score

---

Arena ELO

119B

Parameters

---

Context

Discussion (0)

Loading comments...