56,966 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a07d5d-8388-73cf-8e1a-4cb6cf072906

Leanstral 1.5: Proof Abundance for All

Mistral AI · published 2 July 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at mistral.ai Wayback capture

1blogs citing

First cited: 3 Jul 2026
Most recent: 3 Jul 2026
Rank this month: not ranked
Links from this post: 7
Words captured: 1,303

Cited by

Blog

In the post

Date

marktechpost.com

Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems Read at the source ↗

3 Jul 2026

Links from this post

Link

Host

https://leanprover.github.io/

leanprover.github.io

https://github.com/mistralai/LeanstralSafeVerify

github.com

https://github.com/mistralai/FLTEval

github.com

https://github.com/datrs/varinteger

github.com

https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B

huggingface.co

https://docs.mistral.ai/models/model-cards/leanstral-1-5

docs.mistral.ai

https://github.com/oOo0oOo/lean-lsp-mcp

github.com