webAI

webAI présente TwIL-LM : une famille de modèles de logique formelle pour l'autoformalisation locale

webAI a publié TwIL-LM, une famille de deux modèles de logique formelle de 1,7 milliard et 3 milliards de paramètres, conçus pour fonctionner en local. Ces modèles sont spécialisés dans l'autoformalisation, c'est-à-dire la traduction de l'anglais en logique du premier ordre. Ils sont publiés sous une licence non commerciale.

webAI