webAI

webAI ra mắt TwIL-LM: Dòng mô hình logic hình thức để tự động hình thức hóa cục bộ

webAI đã phát hành TwIL-LM, một dòng gồm hai mô hình logic hình thức với 1,7 tỷ và 3 tỷ tham số, được thiết kế để chạy cục bộ. Các mô hình này chuyên về tự động hình thức hóa, dịch tiếng Anh thành logic bậc nhất. Chúng được phát hành theo giấy phép phi thương mại.

webAI