#形式論理 のAIニュース

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

webAI は自動形式化に特化した 1.7B と 3B の論理推論モデル「TwIL-LM」を公開し、両者ともローカル環境で動作可能である。