Home / Companies / Pramaana Labs

Pramaana Labs

Artificial Intelligence (Formal Verification)Palo Alto, United States; research presence in Bengaluru, India

Pramaana Labs builds a formal verification layer for AI. It converts statutes, regulations and scientific rules into machine-checkable logic using a LEAN-style proof system, so that outputs in high-stakes domains such as tax, law, finance and healthcare ship with mathematical proof of correctness rather than probabilistic confidence.

2StartupFox stories
2025Founded
Artificial Intelligence(Formal Verification)Sector
Jun 2026Latest coverage

Funding

Pramaana Labs has raised $27M across 1 disclosed round, most recently a Seed in Jun 2026.

$27MRaised
SeedLatest round · Jun 2026
1Event
Chart appears once 2 more funding rounds are recorded — below that a chart shows less than the table does.
Jun 2026Seed$27MKhosla Ventures (lead)StartupFox ↗

The rest of Pramaana Labs's profile is free

Every funding round with its source, verified financials, leadership and the full journey timeline — sign in once and it stays unlocked.

One tap. No newsletter unless you ask for it.

Latest on Pramaana Labs

Funding
Indian Startups Raise $432 Million in a Week Led by Sarvam AI’s $234 Million Mega-Round
20 JUN 2026 · 2 MIN READ
Funding
Pramaana Labs Raises $27 Million Seed Round Led by Khosla Ventures
18 JUN 2026 · 3 MIN READ

Also in SaaS & Tech

MitigataCybersecurityIntegra RoboticsRobotics / Defence TechnologyRusk MediaDigital Entertainment / Media

Frequently Asked

What is Pramaana Labs?

Pramaana Labs builds a formal verification layer for AI. It converts statutes, regulations and scientific rules into machine-checkable logic using a LEAN-style proof system, so that outputs in high-stakes domains such as tax, law, finance and healthcare ship with mathematical proof of correctness rather than probabilistic confidence.

Who founded Pramaana Labs?

Pramaana Labs is associated with Ranjan Rajagopalan, Krishnan Raghavan, Sanjay Ganapathy Subramaniam.

How much funding has Pramaana Labs raised?

Pramaana Labs has raised $27M across 1 disclosed round. The most recent was a $27M Seed in Jun 2026.

Who are Pramaana Labs's investors?

Disclosed investors in Pramaana Labs include Khosla Ventures (lead).

What is the latest news on Pramaana Labs?

The most recent StartupFox coverage is “Indian Startups Raise $432 Million in a Week Led by Sarvam AI’s $234 Million Mega-Round” (20 June 2026). All stories are listed on this page.