News brief
On 2026/6/18, according to Xiniu Data, Pramaana Labs raised USD27 million in seed financing. Investors were Khosla Ventures, Accel, Boldcap Ventures, Nexus Venture Partners, PremjiInvest, and Unbound. The company is a US provider of AI formal verification services.
Connected profiles
Explore
Sources · 0Sources & provenance
English text is maintained separately from the original record. Consult the original source before citing a fact.
No source links are available for this profile.
Original source text
Names may use phonetic renderings when no English name is supplied. The original wording is retained below.
2026年6月18日，据烯牛数据报道，Pramaana Labs完成种子轮融资，金额2700万美元。投资方为科斯拉风投，Accel，Boldcap Ventures，Nexus Venture Partners，PremjiInvest，Unbound。该公司为美国AI形式化验证服务提供商。