Imandra Inc.

Imandra Inc. 是 Reasoning as a Service® 的家园。他们的平台基于自动推理的进步，为现代人工智能系统带来严格的逻辑推理。该平台被全球的研究人员、企业和政府机构使用。Imandra 提供工具，将自动逻辑推理集成到 LLM、应用程序和智能工作流中，促进可信的神经符号人工智能系统的创建。他们的产品包括 ICL CodeLogician、Imandra Universe、Imandra Core、Imandra Markets 和 Imandra Connectivity。他们为金融服务、形式验证、可信人工智能、系统集成、自动驾驶系统、MBSD 以及政府和国防提供解决方案。