据 Beating，AI 形式化验证初创公司 Pramaana Labs 已完成一轮 2700 万美元种子轮融资，由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 和 Unbound 参与。该公司使用 LEAN，一种用于验证数学定理的开源编程语言，在大型语言模型之上构建一个确定性验证层，面向法律、药物研发和税务合规等高风险行业。
Pramaana 正与前美国国税局（IRS）专员 Danny Werfel 合作开展税务应用，并与来自 IIT Delhi、IIT Madras 以及 UC Berkeley 的教授合作，开发网络安全和药物研发验证系统。
