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 ranked yet
—
Not ranked yet