webAI esittelee TwIL-LM:n: formaalilogiikan malliperhe paikalliseen autoformalisaatioon
webAI on julkaissut TwIL-LM:n, joka koostuu kahdesta formaalilogiikan mallista, joiden parametrimäärät ovat 1,7 miljardia ja 3 miljardia. Mallit on suunniteltu toimimaan paikallisesti. Ne erikoistuvat autoformalisaatioon, eli englannin kääntämiseen ensimmäisen asteen logiikaksi. Mallit julkaistaan ei-kaupallisella lisenssillä.
webAI
MarkTechPost11.08 · 10:01