实体 TwIL-LM

TwIL-LM

PulseAugur coverage of TwIL-LM — every cluster mentioning TwIL-LM across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

0

90 天内 0

层级分布 · 90 天

主题

时间线

2026-08-11 product_launch webAI released the TwIL-LM family of formal-logic reasoning models. 来源

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_194188 · Aug 11 · 06:20

webAI 发布 TwIL-LM 形式逻辑模型，用于本地自动形式化

webAI 推出了 TwIL-LM，这是一个包含 1.7B 和 3B 参数两种规格的形式逻辑模型家族。这些模型专为自动形式化而设计，能够将英语翻译成一阶逻辑并验证结论。这两个模型都可以在消费级硬件上本地运行，其中 3B 模型所需的 VRAM 或 CPU 资源极少。此次发布强调了效率，3B 模型在速度和生成长度方面优于更大的模型，但在整体形式逻辑准确性方面略逊于一个 120B 参数的模型。