Reddit · r/LocalLLaMA· /u/CommonMinimum587·· 14 天前AI 评分62
webAI 发布基于 Granite 4.2 3B 的 3.66B 形式逻辑模型 TwIL-LM3-Pro
TwIL-LM3-Pro from webAI, a 3.66B formal logic model built on Granite 4.2 3B
来源与原文
Reddit · r/LocalLLaMA
作者：/u/CommonMinimum587
发布时间：（北京时间）
阅读原始来源 · reddit.com ↗完整链接与内容说明
https://www.reddit.com/r/LocalLLaMA/comments/1x502mt/twillm3pro_from_webai_a_366b_formal_logic_model/
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
webAI 发布 TwIL-LM3-Pro，一个基于 IBM Granite 4.2 3B、专为形式逻辑后训练的 3.66B 模型，做蕴含检查、规则归纳和 Lean 证明批评。模型卡显示 Logic composite 55.4（对比 Granite base 43.1、Qwen3-8B 53.4），BBH logic 95.4%，gpt-oss-120b 仍在规则归纳、蕴含和 Lean 形式化上领先。作者提到其 CPU-only Xeon（15 GiB 内存、无 GPU）上约 10.5 tok/s，比同硬件 Qwen3.8-27B 快 98 倍；Q4_K_M GGUF 为 2.09 GiB，支持 Ollama、LM Studio 和 llama.cpp，温度设为 0 并预留 2048+ token 预算。
来源：Reddit · r/LocalLLaMA · reddit.com