webAI

webAIがTwIL-LMを発表：ローカル自動形式化のための形式論理モデルファミリー

webAIは、ローカルで実行できるように設計された、パラメータ数17億と30億の2つの形式論理モデルからなるTwIL-LMをリリースしました。このモデルは、英語を一階述語論理に翻訳する自動形式化に特化しています。これらは非商用ライセンスの下で公開されています。

webAI