Pramaana Labs 完成 2700 万美元种子轮融资，推进 AI 形式化验证

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

该公司致力于将形式化验证技术引入人工智能系统，重点面向法律、药物研发和税务申报等高敏感度垂直领域。其技术架构在常规大语言模型基础上叠加确定性验证层，采用开源 LEAN 编程语言实现数学级可靠性保障。

团队正与前美国国税局局长 Danny Werfel 合作开发税务系统验证模块，并联合印度理工学院及加州大学伯克利分校专家推进网络安全与药物发现领域的形式化建模工作。