Imandra Inc.

概要

Imandra Inc.とは？

Imandra Inc. は、Reasoning as a Service® の本拠地です。彼らのプラットフォームは自動推論の進歩に基づいて構築されており、最新の AI システムに厳密な論理推論をもたらします。世界中の研究者、企業、政府機関によって使用されています。 Imandra は、自動論理推論を LLM、アプリケーション、エージェント ワークフローに統合するツールを提供し、信頼できるニューロシンボリック AI システムの作成を促進します。同社の製品には、ICL CodeLogician、Imandra Universe、Imandra Core、Imandra Markets、および Imandra Connectivity が含まれます。金融サービス、正式な検証、信頼できる AI、システム統合、自律システム、MBSD、政府と防衛のためのソリューションを提供しています。