Mistral vydal Leanstral 1.5 pre formálne dôkazy v Lean 4
Nový otvorený model Leanstral 1.5 má 119 miliárd parametrov, z nich 6 miliárd aktívnych, a cieli na formálne dôkazy, verifikáciu kódu a agentické proof engineering workflowy.
Tag
#formálne overovanie
Všetky publikované články, v ktorých sa téma formálne overovanie objavuje ako dôležitý kontext. Aktuálne 1 textov v archíve.