Wednesday, August 19, 2026
Facebook Instagram Linkedin X
ads
Home AI News Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model...

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

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

RELATED ARTICLESMORE FROM AUTHOR

EDITOR PICKS

POPULAR POSTS

POPULAR CATEGORY

© 2023 - aibtz.com - All Rights Reserved!