Mistral rilascia Leanstral 1.5: verifica formale con 6 miliardi di parametri attivi
Mistral ha rilasciato Leanstral 1.5, un LLM con licenza Apache 2.0 focalizzato sulla verifica formale. Attiva solo 6 miliardi di parametri su 119 totali, raggiunge risultati all’avanguardia su miniF2F, PutnamBench e FATE, e ha scovato 5 bug in 57 rep...