imandra.ai

AI代码助手 AI代码审查 AI开发工具 AI金融 AI代理 AI副驾驶大语言模型 AI研究工具

Imandra provides a Reasoning as a Service® platform for logical reasoning in AI systems.

简介 Imandra provides a Reasoning as a Service® platform for logical reasoning in AI systems.

标签： Reasoning as a Service Automated reasoning Neurosymbolic AI Formal verification AI safety System integration Logic Code analysis Autonomous systems Financial services Government Defense

点击图片可放大查看网站截屏

Features

Website

Pricing

Contact for Pricing

联系方式 / 公司信息

网站：Imandra Inc.

官网：https://imandra.ai?utm_source=ai1111