tag: Formal Logic

webAI เปิดตัวตระกูลโมเดล TwIL-LM ขนาด 1.7B และ 3B ที่เน้นการแปลภาษาธรรมชาติเป็นตรรกะเชิงรูปแบบ (Autoformalization) โดยรุ่น 3B สามารถทำงานบน CPU หรือ VRAM เพียง 4GB และทำความเร็วได้เหนือกว่าโมเดลขนาดใหญ่ 120B ในบางด้าน