# Pramaana Labs

U.S. AI formal verification services provider.

U.S. AI formal verification services provider.

Canonical: https://uniquebase.ai/companies/pramaana-labs
Stable identifier: UB-C10244
Snapshot captured: 2026-10-15T14:23:27.067Z
English updated: 2026-10-15T20:20:54.822Z

## Funding

Listed 1 record.
Latest: $27M (Seed), 2026-06-18.

- 2026-06-18 · $27M · Seed · Accel, Boldcap Ventures, Nexus Venture Partners, Premji Invest, Unbound, 科斯拉风投
  > 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. (translated source brief)

## Valuation

Listed 1 record.

- 2026-06-18 · amount unavailable · Seed · Accel, Boldcap Ventures, Nexus Venture Partners, Premji Invest, Unbound, 科斯拉风投
  > 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. (translated source brief)

## Revenue

No revenue records are listed yet.


## Team

No published team profiles are linked yet.

## Products

No published products profiles are linked yet.

## Investors

- [Accel](/institutions/accel)
- [Boldcap Ventures](/institutions/boldcap-ventures)
- [Nexus Venture Partners](/institutions/nexus-venture-partners)
- [Premji Invest](/institutions/premji-invest)
- [Unbound](/institutions/unbound)
- [科斯拉风投](/institutions/kesilafengtou)

## Sources

- No source links are available for this profile.