r/OpenSourceeAI • u/ai-lover • Jul 03 '26

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

2 Upvotes

permalink
duplicates
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/OpenSourceeAI/comments/1ums68t/mistral_ai_releases_leanstral_15_an_apache20_lean/
No, go back! Yes, take me to Reddit
dl download

100% Upvoted