webAI

来自以下厂商的最新 AI 新闻、模型与发布： webAI. ['TwIL-LM', 'TwIL-LM3']

模型 🇺🇸

webAI发布了TwIL-LM，这是两个形式逻辑模型组成的系列，参数量分别为17亿和30亿，旨在本地运行。这些模型专攻自动形式化，将英语转化为一阶逻辑。它们以非商业许可发布。

webAI

MarkTechPost11.08 · 10:01