Funding · AI & Deep Tech

Pramaana Labs raises $27M seed round

By Startup Enthusiast · 17 June 2026

What they do

Pramaana Labs builds verifiable AI that converts complex knowledge into machine-checkable formal language

It raised $27 million in seed funding led by Khosla Ventures, with Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound participating

The round is one of the largest early-stage investments for an Indian AI startup in 2026

Pramaana Labs raised $27 million in seed funding.
The round was led by Khosla Ventures.
Participating investors include Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound.
The company builds verifiable AI that converts complex knowledge into a machine-verifiable formal language.
It targets high-stakes regulated sectors such as healthcare, legal, financial compliance, tax, and cybersecurity.
The company was founded in September 2025 and is headquartered in Palo Alto, California, and registered in Bengaluru.

This seed round is described as one of the largest early-stage investments for an Indian AI startup in 2026.
Khosla Ventures also backed Sarvam AI, which became a unicorn at a $1.5 billion valuation in a $300 million Series B round days earlier.
Indian AI startups raised $253 million in Q1 2026, 73% more than the year prior.

Pramaana Labs builds verifiable AI that converts complex knowledge (e.g., US tax code, clinical protocols, financial regulations) into a machine-verifiable formal language.
The system works by translating a user question into a formal statement, running it through a proof engine, and returning a machine-checkable proof or identifying which rule is broken.
It refuses to answer if it cannot prove the answer.
The company targets high-stakes regulated sectors: healthcare, legal, financial compliance, tax, cybersecurity, and drug discovery.
Half of its workforce is in India.
The company collaborates with research labs at IIT Delhi, IIT Madras, UC Berkeley, and Stanford's Centaur Lab.

Train formalisation and prover models.
Hire AI research talent.
Scale domain experts across regulated verticals: tax, human diagnosis, cybersecurity, financial compliance.

Product: Infrastructure layer that converts complex human knowledge into machine-checkable logic for AI verification
Customers: Enterprises in regulated verticals including tax, healthcare, financial compliance and cybersecurity
How it makes money: B2B infrastructure platform providing formal verification for AI systems
What sets it apart: Applies formal verification to high-stakes AI applications where hallucinations carry severe legal consequences