TwIL-LM
可本地运行的小参数形式逻辑推理模型家族
TwIL-LM 是 webAI 推出的形式逻辑推理模型家族，包含 1.7B 与 3B 两个版本，可完全在消费级硬件上运行。它专注自动形式化：把自然语言翻译成形式逻辑、判断结论是否由前提推出，并完成多步演绎推理，适用于合规规则、合同条款与科研推理场景，也可作为校验层检查其它模型输出
1
2026-08-10
未收录
—
工具功能
这个工具能做什么、适合谁用，以及目前已识别的核心能力。
工具简介
TwIL-LM 是 webAI 推出的形式逻辑推理模型家族，包含 1.7B 与 3B 两个版本，可完全在消费级硬件上运行。它专注自动形式化：把自然语言翻译成形式逻辑、判断结论是否由前提推出，并完成多步演绎推理，适用于合规规则、合同条款与科研推理场景，也可作为校验层检查其它模型输出
核心功能
价格信息
暂无可验证价格信息暂无足够准确的价格信息。
基础信息
- 更新频率
- 近 7 天 1 条收录动态
- 最近更新
- 2026-08-10
- 覆盖行业
- 法务、科研
更新日志
按时间记录功能更新、版本发布、新工具入库等重要变化。
- 2026-08-10新工具首发
webAI 发布形式逻辑模型家族 TwIL-LM，含 1.7B 与 3B 两个版本，已上线 Hugging Face。它把自然语言翻译成一阶逻辑并判断前提与结论的蕴涵关系，可在 CPU 或 4GB 显存本地运行（3B 量化体积 1.78 GiB）。六项平均得分 0.4488 低于 gpt-oss-120b 的 0.5192，但每秒可处理 32.9 个答案（对方 4.2）；仅限非商业使用。
TwIL-LM 常见问题
关于 TwIL-LM 的定位、核心功能、价格与最近更新。
TwIL-LM 是什么？
TwIL-LM 是 webAI 推出的形式逻辑推理模型家族，包含 1.7B 与 3B 两个版本，可完全在消费级硬件上运行。它专注自动形式化：把自然语言翻译成形式逻辑、判断结论是否由前提推出，并完成多步演绎推理，适用于合规规则、合同条款与科研推理场景，也可作为校验层检查其它模型输出。
TwIL-LM 有哪些核心功能？
TwIL-LM 当前已核验的核心功能包括：复杂推理、结构化抽取。
TwIL-LM 如何收费？
AI Equal 当前没有收录 TwIL-LM 的可验证价格信息。
TwIL-LM 最近有什么更新？
2026-08-10：webAI 发布形式逻辑模型家族 TwIL-LM，含 1.7B 与 3B 两个版本，已上线 Hugging Face。它把自然语言翻译成一阶逻辑并判断前提与结论的蕴涵关系，可在 CPU 或 4GB 显存本地运行（3B 量化体积 1.78 GiB）。六项平均得分 0.4488 低于 gpt-oss-120b 的 0.5192，但每秒可处理 32.9 个答案（对方 4.2）；仅限非商业使用。