TwIL LM3 Pro

新的 3.66B 模型在形式逻辑任务上表现出色

一款名为 TwIL LM3 Pro 的新型 3.66B 参数模型已发布，该模型专门针对形式逻辑任务进行了微调。该模型基于 IBM 的 Granite 4.2 3B 构建，在规则归纳和逻辑蕴涵检查等领域表现出色，在特定逻辑基准测试中优于更大的模型。虽然它在严格的多项选择逻辑和 BBH 逻辑方面表现强劲，但在规则归纳和 Lean 正式化方面仍落后于 GPT OSS 120B。该模型可用于各种量化级别，并在消费级硬件上运行，但需要非商业许可。