webAI 推出了 TwIL-LM，这是一个包含 1.7B 和 3B 参数两种规格的形式逻辑模型家族。这些模型专为自动形式化而设计，能够将英语翻译成一阶逻辑并验证结论。这两个模型都可以在消费级硬件上本地运行，其中 3B 模型所需的 VRAM 或 CPU 资源极少。此次发布强调了效率，3B 模型在速度和生成长度方面优于更大的模型，但在整体形式逻辑准确性方面略逊于一个 120B 参数的模型。 AI
影响 这些模型为形式逻辑任务提供了高效的本地执行能力，有望在数据隐私至关重要的合规和法律科技领域催生新的应用。
排序理由 发布具有性能基准的新型专业语言模型。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
<p>webAI has released TwIL-LM, a family of formal-logic models at 1.7B and 3B parameters that translate English into first-order logic and check whether conclusions follow from premises. The 3B runs on CPU or 4GB of VRAM; the 1.7B downloads at 1.06GB. Both ship under a non-commer…
webAI has released TwIL-LM, a family of formal-logic models at 1.7B and 3B parameters that translate English into first-order logic. The 3B model runs on CPU or 4GB VRAM; the 1.7B downloads at 1.06GB. The release targets autoformalisation and local execution for environments wher…