Mistral AI
Leanstral 1.5 erscheint unter Apache-2.0 mit 6B aktiven Parametern
Vom Abgerufen Themen Offene Modelle
Das Modell für formale Verifikation in Lean 4 hat 119B Parameter insgesamt, davon 6B aktiv, und liegt auf Hugging Face samt kostenloser Schnittstelle. Es löst 587 von 672 PutnamBench-Aufgaben und erreicht 87 Prozent auf FATE-H.