根據 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 的教授合作，開發用於網路安全與藥物研發的驗證系統。
