#ImandraX

12:00AIツール拡散指数 33

Imandra、AIコード補完ツール「CodeLogician」公開：記号推論で正確性を検証

Imandraは神経記号AIを活用したプログラミング支援ツール「CodeLogician」を発表した。生成コードを数理モデルに変換して正確性を自動検証し、幻覚を防ぐ仕組みだ。初期版はPythonに対応し、現在早期アクセスの順番待ちを受け付けている。