Imandraは、大規模言語モデル（LLMs）に自動論理推論の力を与える革新的なAIプラットフォームです。このプラットフォームは、正確性とコンプライアンスが特に重要な産業において、生成AIの可能性を最大限に引き出すことを目的としています。Imandraの最新のPythonライブラリは、開発者がLLMの思考を論理として表現し、自動化された論理推論を活用して、以下のことを可能にします：
- 推論を明示的かつ説明可能にすることで、幻覚を排除
- 議論と結果を正式に検証することで、信頼を獲得し、コンプライアンスを実証
- 監査可能な論理的推論により、未踏の深みまで推論をスケール
Imandraの自動論理推論は、LLMsの不透明なモデルを透明なものに変え、ユーザーと開発者が応答に関わる仮定と結論を正確に監査可能な推論で見ることができるようにします。この技術は、従来、NASAのような場所で高度に専門化されたPhDチームによってのみ使用されていましたが、最近の進歩により、Imandraは最も困難な産業アプリケーションにも自動化され、スケールされています。
Imandraは、金融サービスから自律システム、信頼できるAI、政府と防衛に至るまで、多岐にわたる産業で使用されています。主要な金融機関、米国空軍、DARPAなど、多くの信頼できるブランドや政府機関がImandraを利用しています。
Imandraの特徴的な機能の一つである「Region Decomposition」は、複雑なソフトウェアとアルゴリズムの動作を説明し、そのエッジケースを徹底的に特定するための鍵となる新機能です。この機能は、LLMsが正しい結果に収束するために不可欠な説明可能な一般化を提供し、検索空間の大きな領域を閉じることで、単一のポイントのみを排除するのではなく、広範な領域を閉じることができます。
Imandraは、OCamlとImandra Modeling Language（IML）を使用して、入力された情報を数学的論理に変換し、それについて推論します。論理的または計算的に何かを記述できる限り、Imandraでそれをエンコードし、推論することが可能です。コンピュータプログラム、キャップテーブル、スプレッドシート、判例法、法的議論、金融規制、設計図、税法、スケジューリング問題など、これらすべてをImandraで記述し、推論することができます。
