Pramaana Labs 完成 2700 万美元种子轮融资,推进 AI 形式化验证
Pramaana Labs 宣布完成 2700 万美元种子轮融资,由 Khosla Ventures 领投,Accel、Boldcap、Nexus Venture Partners、Premji Invest 和 Unbound 跟投。 该公司致力于将形式化验证技术引入人工智能系统,重点面向法律、药物研发和税务申报等高敏感度垂直领域。其技术架构在常规大语言模型基础上叠加确定性验证层,采用开源 LEAN 编程语言实现数学级可靠性保障。 团队正...