更多Imandra Inc. 是一家专注于提供逻辑推理服务的人工智能公司。公司主营业务包括通过自动化逻辑推理技术，帮助用户将大型语言模型（LLM）的思考转化为逻辑表达，以消除推理中的幻觉、增加信任并展示合规性，以及扩展推理的深度。Imandra 的技术被应用于金融、法律、军事等多个领域，旨在通过精确的审计推理，将不透明的模型转化为透明的模型，让用户和开发者能够清晰地看到响应中涉及的假设和结论。