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