优测AI发现 · 学习 · 创造
Imandra 提供一个用于人工智能系统逻辑推理的 Reasoning as a Service® 平台。
查看大图 ↗
要使用 Imandra，您可以探索他们的产品，如 CodeLogician、Imandra Universe 和 Imandra Core。您还可以利用他们针对特定行业如金融服务或政府与国防的解决方案。该网站提供链接，可了解更多信息并开始使用他们的服务。
要使用 Imandra，您可以探索他们的产品，如 CodeLogician、Imandra Universe 和 Imandra Core。您还可以利用他们针对特定行业如金融服务或政府与国防的解决方案。该网站提供链接，可了解更多信息并开始使用他们的服务。
Imandra Inc. 是 Reasoning as a Service® 的家园。他们的平台基于自动推理的进步，为现代人工智能系统带来严格的逻辑推理。该平台被全球的研究人员、企业和政府机构使用。Imandra 提供工具，将自动逻辑推理集成到 LLM、应用程序和智能工作流中，促进可信的神经符号人工智能系统的创建。他们的产品包括 ICL CodeLogician、Imandra Universe、Imandra Core、Imandra Markets 和 Imandra Connectivity。他们为金融服务、形式验证、可信人工智能、系统集成、自动驾驶系统、MBSD 以及政府和国防提供解决方案。
官网访问趋势、地区分布与流量渠道
访问量采用最近明确月份的曲线值；其余指标按概览区间展示。
2023-12 - 2026-09 全部流量
6 个月记录 · 6 个月有有效数据
12 个月记录 · 12 个月有有效数据
34 个月记录 · 34 个月有有效数据
2023-12 - 2026-09 桌面设备
印度100.00%
2023-12 - 2026-09 全球桌面设备
| 关键词 | 流量 | 点击费用 |
|---|---|---|
| imandra | 暂无数据 | 暂无数据 |
| kissat | 暂无数据 | $ 0.43 |
| mhash | 暂无数据 | 暂无数据 |
| atlb group sa de cv | 暂无数据 | $ 0.81 |
| isitc cameroon | 暂无数据 | 暂无数据 |
Reasoning as a Service® 是 Imandra 的平台，将严格的逻辑推理引入现代人工智能系统，基于深厚的自动推理进展。
Imandra 的产品包括 ICL CodeLogician、Imandra Universe、Imandra Core、Imandra Markets 和 Imandra Connectivity。
Imandra 服务的行业包括金融服务、政府和国防。
正在载入评论…
真实会员评论，审核通过后公开展示。回复不重复计入评分。
探索更多相关工具
