Imandra 是一个创新的AI平台，它通过赋予大型语言模型（LLMs）推理能力，解锁了生成式AI在需要正确性和合规性的行业中的巨大潜力。Imandra 的核心功能包括自动化逻辑推理、形式化验证和区域分解，这些功能使得不透明的模型变得透明，让用户和开发者能够看到响应中涉及的假设和结论，并通过精确的可审计推理来增强信任和合规性。
Imandra 的Python库现已推出，用户可以通过简单的步骤安装并开始使用。首先，通过PIP3安装Python库，然后安装imandra-cli客户端并创建账户，最后启动Python并导入Imandra库。Imandra 提供了丰富的示例，帮助用户快速上手并探索其强大的功能。
Imandra 的推理即服务平台（Reasoning as a Service®）不同于传统的统计AI方法，它依赖于自动化逻辑推理，将输入转换为数学逻辑，并通过一系列可审计的逻辑步骤来支持每一个答案或反馈。这种方法传统上仅限于NASA等地方的高度专业化团队，但得益于最近的进展，Imandra 已经高度自动化，并扩展到了最困难的工业应用中。
Imandra 已经被领先的金融公司用于设计、实施和校准复杂的金融系统，包括国家股票和衍生品交易所。在金融领域之外，我们的客户还包括美国空军和DARPA。通过Imandra Core页面，用户可以了解更多技术细节，并开始他们的Imandra之旅。
