Reddit · r/LocalLLaMA· /u/CommonMinimum587·· 5 小时前AI 评分0
webAI 发布基于 Granite 4.2 3B 的 3.66B 形式逻辑模型 TwIL LM3 Pro
3.66B formal logic model built on Granite 4.2 3B · Hugging Face
AI 导读
webAI 发布 TwIL LM3 Pro,一个 3.66B 参数、专为形式逻辑任务微调的模型,基于 IBM Granite 4.2 3B。它在其逻辑综合基准上得分 55.4,超过 Qwen3-8B 的 53.4,并在严格多选逻辑上以 41% 领先(次优为 17%),BBH 逻辑得分 95.4%。
来源:Reddit · r/LocalLLaMA · reddit.com