Imandra Inc. 是一家专注于提供逻辑推理服务的人工智能公司。公司主营业务包括通过自动化逻辑推理技术,帮助用户将大型语言模型(LLM)的思考转化为逻辑表达,以消除推理中的幻觉、增加信任并展示合规性,以及扩展推理的深度。Imandra 的技术被应用于金融、法律、军事等多个领域,旨在通过精确的审计推理,将不透明的模型转化为透明的模型,让用户和开发者能够清晰地看到响应中涉及的假设和结论。
- 总部:1400 Congress Ave
- 成立年份: 2014
- 公司员工:11-50
EyeLevel 是一家专注于构建企业级检索增强型生成(RAG)应用的人工智能公司,提供包括 GroundX 平台在内的解决方案,服务于保险、法律、医疗保健、金融等多个领域。公司产品支持在本地或云环境中部署,以确保数据安全和企业需求的满足。
- 总部:2150 Shattuck Ave
- 成立年份: 2018
- 公司员工:11-50
Imandra的主要用户来自美国,占比高达67.34%,其次是英国和埃及,占比分别是14.96%和12.66%,然后是乌拉圭和巴基斯坦,占比分别为3.24%和1.80%。
眼水平网站主要用户来自美国,占比高达55.89%,其次是土耳其、印度,分别为7.62%和7.12%,芬兰和蒙古并列第四,均为3.03%。