webAI、ローカル向け論理推論モデル「TwIL-LM」を公開

記事の3ポイント

1. 1

   ローカル実行可能な形式論理モデルの公開

   webAI は1.7Bと3Bのパラメータを持つ「TwIL-LM」ファミリーをリリースし、英語から一階述語論理への翻訳や推論検証をローカルハードウェアで実行可能にした。

2. 2

   高性能な小規模モデルの技術的アプローチ

   3BモデルはSmolLM3-3Bを基にLoRA微調整とチェックポイント融合、MGPO手法を適用して構築され、1.7Bモデルも同様のアーキテクチャを採用している。

3. 3

   大規模モデルとの性能比較における優位性

   webAIの発表によると、TwIL-LM3はgpt-oss-120bに対し形式推論の5つの課題のうち4つで上回り、生成トークン数と処理速度でも大幅な効率化を示した。