webAI, Yerel Otomatik Formalizasyon için TwIL-LM Model Ailesini Tanıttı
webAI, yerel olarak çalışacak şekilde tasarlanmış, 1.7B ve 3B parametreli iki resmi mantık modelinden oluşan TwIL-LM ailesini yayınladı. Modeller, İngilizceyi birinci dereceden mantığa çeviren otomatik formalizasyon konusunda uzmanlaşmıştır. Ticari olmayan bir lisans altında yayınlanmışlardır.
webAI
MarkTechPost11.08 · 10:01