Mistral AI releases Leanstral 1.5, a 119B MoE model for Lean 4 formal proof engineering
The open model achieved 100% on the miniF2F benchmark.
Combined views
67.4K
13 posts, first seen 51d ago
751 likes32 comments261 saves
Useful Links
No useful links have been added yet.
Mistral AI releases Leanstral 1.5, a 119B MoE model for Lean 4 formal proof engineering
The open model achieved 100% on the miniF2F benchmark.