1.7B 小模型 TwIL-LM2 专攻形式逻辑，击败 26B 大模型
itsalreadyhardenough · reddit · 2026-08-15
TwIL-LM2 是一个基于 SmolLM2-1.7B 的微调模型（LoRA，7200万参数），专门用于将自然语言转换为可验证的一阶逻辑（First-Order Logic），不做通用聊天或推理。
性能亮点：
- 在严格形式逻辑评分（strict-7，无部分得分）中，TwIL-LM2 得分 0.2386，超越了 Qwen3-8B (0.2093) 和 Gemma-4-26B (0.2050)。
- 在“宽泛匹配”评分中大模型仍占优，但对于需要精确形式化表示的下游验证任务，该 1.7B 模型表现更好。
应用场景：
- 作者认为这是理想的“专业化”范例：小模型做一件具体的事并做好，将其插入到大模型负责复杂推理的流水线中处理特定转换步骤。
注意：该模型采用非商业许可证，创收部署需单独协议。
所属事件:1.7B 专用模型攻形式逻辑，击败 Qwen3-8B(2 条相关)→
「模型」频道最新
- Grok 订阅算账：$200 Ultra 还是 $300 SuperGrok Heavy？ — alexcovo_eth · 2026-10-16
- 用户实测称 Opus 5.5 研究构思能力远超 Astra — menhguin · 2026-10-16
- 网友猜测 Meta 新版跃升靠蒸馏 OpenAI,故不开源 — teortaxesTex · 2026-10-16
- Meta 选择 MLX 做本地推理,Muse Spark Open 登陆 Mac Studio — awnihannun · 2026-10-16
- 传智谱 GLM 5.5 即将发布，编码能力有望追平前沿模型 — bindureddy · 2026-10-16
- 五轮对抗后输出趋同：Claude Opus 5.5 与 Argon 创作实验结果诡异一致 — LanceCharger · 2026-10-16