Imandra Inc. 是一家专注于提供逻辑推理服务的人工智能公司。公司主营业务包括通过自动化逻辑推理技术,帮助用户将大型语言模型(LLM)的思考转化为逻辑表达,以消除推理中的幻觉、增加信任并展示合规性,以及扩展推理的深度。Imandra 的技术被应用于金融、法律、军事等多个领域,旨在通过精确的审计推理,将不透明的模型转化为透明的模型,让用户和开发者能够清晰地看到响应中涉及的假设和结论。
- 总部:1400 Congress Ave
- 成立年份: 2014
- 公司员工:11-50
- 前往主页→
Intel® Tiber™ AI Studio是一个为数据科学家设计的全栈机器学习操作系统,提供混合云和多云环境下的机器学习基础设施管理,支持从研究到生产的端到端自动化ML工作流程。它允许用户灵活选择计算和存储资源,统一代码、项目、模型等,以提高利用率和ROI。
- 总部:132 דרך מנחם בגין
- 成立年份: 2016
- 公司员工:11-50
- 前往主页→
imandra网站主要用户来自美国和英国,占比高达35.55%和30.23%,其次是埃及和德国、乌拉圭,占比分别是20.27%、6.15%、7.81%。
CNVG的主要用户来自美国,占比高达70.64%,其次是加拿大、智利、墨西哥和德国,占比分别是11.46%、4.63%、3.58%、3.49%。