Mistral veröffentlicht Leanstral 1.5: 119B MoE-Modell für formale Verifikation
ToolsMistral
CompaniesMistral AI
Warum es zählt
Entwickler können das Modell für automatisiertes Theorem-Proving und Code-Verifikation nutzen – es fand 5 bisher unbekannte Bugs in 57 realen Repositories. Als freies Apache-2.0-Modell ist es lokal einsetzbar.
— Lumeric Redaktion
FATE-H / PutnamBench / miniF2F · Spitzenwert
87%
Leanstral 1.5 (FATE-H)
Frag die KI zum Artikel
Folgefragen zu Headline, Quelle und Volltext — Antwort streamt in wenigen Sekunden.
Verwandte Beiträge
Mistral veröffentlicht Leanstral 1.5: 119B MoE-Modell für formale Verifikation
ToolsMistral
CompaniesMistral AI
Warum es zählt
Entwickler können das Modell für automatisiertes Theorem-Proving und Code-Verifikation nutzen – es fand 5 bisher unbekannte Bugs in 57 realen Repositories. Als freies Apache-2.0-Modell ist es lokal einsetzbar.
— Lumeric Redaktion
FATE-H / PutnamBench / miniF2F · Spitzenwert
87%
Leanstral 1.5 (FATE-H)
Frag die KI zum Artikel
Folgefragen zu Headline, Quelle und Volltext — Antwort streamt in wenigen Sekunden.