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.
38.4
Quality Score
---
Arena ELO
119B
Parameters
---
Context
This measures the amount of verifiable public evidence we have, not how capable the model is. A missing field means it has not been verified yet, not that its value is zero.
11 of 22 public signals
Sign in to join the discussion
193
Downloads
216
Likes
Jul 2026
Released
2/5 signals
1/4 signals
3/5 signals
3/4 signals
2/4 signals
Gaps we are still tracking