牛透社 6 月 17 日消息，形式化验证初创公司 Pramaana Labs Inc. 宣布完成种子轮融资，融资金额达 2700 万美元，由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 及 Unbound Capital Ltd. 跟投。

Pramaana Labs 是一家专注于开发“高风险人工智能编译器”的形式化验证公司，其系统通过领域规则核查 AI 模型答案，确保输出结果可被证明正确，主要应用于税务、医疗诊断、网络安全与金融合规等受监管领域。本轮资金将用于训练公司的形式化与证明模型、招聘研究工程师，并在各受监管垂直领域扩充领域专家。