webAI lansează TwIL-LM: Modele de logică formală de 1,7B și 3B pentru autoformalizare pe hardware local
webAI a lansat TwIL-LM, o familie de modele de limbaj de 1,7B și 3B parametri, specializate în autoformalizare, care rulează eficient pe hardware local. Aceste modele open-source transformă limbajul natural în logică formală, deschizând noi posibilități în verificarea teoremelor, educație și dezvoltare software.
🕒 21 ore în urmă
