Overview
U.S. AI formal verification services provider.
Funding
Amounts as reported; USD estimates shown only when they matchListed 1 funding record. Latest funding: $27M (Seed), Jun 18, 2026.
| Date | Amount | Investors | Sources |
|---|---|---|---|
| Jun 18, 2026 | $27M · Seed | Accel, Boldcap Ventures, Nexus Venture Partners, Premji Invest, Unbound, 科斯拉风投 | No source link |
Evidence Pramaana Labs raises USD27 million in seed financingOn 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. Translated source brief, not a quotation. Check the original before citing. Sources · 0
Accel, Boldcap Ventures, Nexus Venture Partners, Premji Invest, Unbound, 科斯拉风投 | |||
Select ▸ on a row to see its source brief and links.
Valuation
Amounts as reported; USD estimates shown only when they matchListed 1 valuation record.
No chartable valuation estimates yet.
1 listed record lack a clear date or positive USD estimate for the chart.
| Date | Amount | Investors | Sources |
|---|---|---|---|
| Jun 18, 2026 | — · Seed | Accel, Boldcap Ventures, Nexus Venture Partners, Premji Invest, Unbound, 科斯拉风投 | No source link |
Evidence Pramaana Labs raises USD27 million in seed financingOn 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. Translated source brief, not a quotation. Check the original before citing. Sources · 0
Accel, Boldcap Ventures, Nexus Venture Partners, Premji Invest, Unbound, 科斯拉风投 | |||
Select ▸ on a row to see its source brief and links.
Revenue
Amounts as reported; USD estimates shown only when they matchNo revenue records are listed yet.
No revenue rows to list.
Team, products & investors
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.
美国AI形式化验证服务提供商