国防承包商

SandboxAQ利用人工智能和先进计算解决社会挑战，使用大型定量模型（LQMs）。

Imandra 提供一个用于人工智能系统逻辑推理的 Reasoning as a Service® 平台。

基于AI的平台，旨在简化政府合约流程并赢得更多投标。

Astro 空间用户体验设计系统帮助开发者和设计师利用成熟的交互模式和最佳实践构建丰富的空间应用体验。