webAI

webAI apresenta TwIL-LM: uma família de modelos de lógica formal para autoformalização local

A webAI lançou o TwIL-LM, uma família de dois modelos de lógica formal com 1,7 bilhão e 3 bilhões de parâmetros, projetados para execução local. Os modelos são especializados em autoformalização, traduzindo inglês para lógica de primeira ordem. Eles são disponibilizados sob uma licença não comercial.

webAI