Please wait while we load the page
Imandra Inc.はReasoning as a Service®の本拠地です。自動推論の進歩に基づくプラットフォームで、現代のAIシステムに厳密な論理的推論をもたらします。世界中の研究者、企業、政府機関に利用されており、自動論理推論をLLM、アプリケーション、エージェントワークフローに統合し、信頼できるニューロシンボリックAIシステムの構築を促進します。製品にはICL CodeLogician、Imandra Universe、Imandra Core、Imandra Markets、Imandra Connectivityが含まれます。金融サービス、形式検証、信頼できるAI、システム統合、自律システム、MBSD、政府・防衛向けのソリューションを提供します。
Imandraを使用するには、CodeLogician、Imandra Universe、Imandra Coreなどの製品を探索します。金融サービスや政府・防衛など特定の業界向けソリューションも活用できます。ウェブサイトには詳細情報とサービス利用開始のリンクがあります。
情報はありませんが、詳細が明らかになれば興味深いAIツールかもしれません。
価格情報はありません
