牛透社 6 月 17 日消息，Pramaana Labs 宣布完成种子轮融资，融资金额达 2700 万美元，由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 和 Unbound 跟投。

Pramaana Labs 是一家专注于利用数学形式化工具提升 AI 系统可靠性的初创公司，其业务聚焦于法律、药物研发、税务申报等高敏感垂直领域。本轮资金将用于在其 AI 系统中部署基于 LEAN 风格的形式化验证层，并与领域专家合作构建专属验证系统。