webAI presenta TwIL-LM: una familia de modelos de lógica formal para la autoformalización local
webAI ha lanzado TwIL-LM, una familia de dos modelos de lógica formal con 1.7 mil millones y 3 mil millones de parámetros, diseñados para ejecutarse de forma local. Los modelos se especializan en la autoformalización, traduciendo inglés a lógica de primer orden. Se publican bajo una licencia no comercial.
webAI
MarkTechPost11.08 · 10:01