Reddit r/LocalLLaMA短讯
基于 Granite 4.2 3B 构建的 3.66B 形式逻辑模型 TwIL LM3 Pro
reddit.com作者：/u/CommonMinimum587模型AI评分：70/100
AI 发布了 TwIL LM3 Pro，这是一个 3.66B 参数的模型，基于 IBM Granite 4.2 3B 微调，专门针对形式逻辑任务（如前提结论检查、规则归纳、Lean 证明批判）。训练采用 LoRA SFT、检查点合并及程序化验证器强化学习。该配方同样提升了 VibeThinker 的性能。