Reddit · r/LocalLLaMA· /u/CommonMinimum587·· 17 天前AI 评分49
webAI 发布基于 Granite 4.2 3B 的 3.66B 形式逻辑模型 TwIL LM3 Pro
3.66B formal logic model built on Granite 4.2 3B · Hugging Face
来源与原文
Reddit · r/LocalLLaMA
作者：/u/CommonMinimum587
发布时间：（北京时间）
阅读原始来源 · reddit.com ↗完整链接与内容说明
https://www.reddit.com/r/LocalLLaMA/comments/1x2619s/366b_formal_logic_model_built_on_granite_42_3b/
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
webAI 于 9 月 30 日发布 TwIL LM3 Pro，这是一个基于 IBM Granite 4.2 3B 的 3.66B 模型，专门针对形式逻辑任务微调，其逻辑综合分达 55.4，优于 Granite 基座的 43.1，并以不到一半的参数量追平 Qwen3-8B 的 53.4。训练采用 LoRA SFT、checkpoint merging 和针对程序化验证器的 RL。Q4_K_M GGUF 仅 2.09 GiB，可在 CPU 或 4 GB VRAM 上运行，支持 Ollama、LM Studio 和 llama.cpp，但许可证为非商业用途。
来源：Reddit · r/LocalLLaMA · reddit.com