Imandra Inc.

什么是Imandra Inc.？

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

如何使用 Imandra Inc.？

要使用 Imandra，您可以探索他们的产品，如 CodeLogician、Imandra Universe 和 Imandra Core。您还可以利用他们针对特定行业如金融服务或政府与国防的解决方案。该网站提供链接，可了解更多信息并开始使用他们的服务。

Imandra Inc. 的核心功能

自动逻辑推理
神经符号人工智能集成
形式验证
系统集成
人工智能推理工具

Imandra Inc. 的使用案例

#1 系统的形式验证
#2 金融服务中的人工智能推理
#3 确保自动驾驶系统的正确行为
#4 有关代码的数学推理