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 Sources, first seen ago
751 likes
The open model achieved 100% on the miniF2F benchmark.
67.4K
13 Sources, first seen ago
Not enough discussion yet.
No sentiment analysis available yet.
Not enough discussion yet.
No sentiment analysis available yet.
—
Not ranked yet
—
Not ranked yet