Imandra.ai

Ensures logical reasoning correctness and explainability
访问官方网站

什么是Imandra Inc.?

Imandra是一个推理即服务平台，为人工智能提供逻辑推理功能。

如何使用 Imandra Inc.?

要使用Imandra，需要从PIP3安装Python库，创建一个帐户，并在Python中导入Imandra库。

Imandra Inc.

Imandra Inc.

建立大型语言模型的心智模型

形式验证论证和结果

可审计的逻辑推理

Q：
Imandra是什么?
A：
Imandra是一个为人工智能提供逻辑推理功能的平台。

全部({{commentRowsTotal}})

{{item.createDate}}
{{item.content}}