Pramaana Labs has raised $27 Mn in a seed funding round led by Khosla Ventures with the participation of Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound
The startup is building AI for high-stakes regulated industries like tax, law, and healthcare, using formal verification to prevent hallucinations
It will use the capital to train its formalisation and prover models, hire more AI research talent, and scale domain expertise
AI startup Pramaana Labs, a startup that is building a “verification layer” for AI, has raised $27 Mn (about ₹258 Cr) in a seed funding round led by Khosla Ventures. Other investors that backed the startup include Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound.
It will utilise the capital to train its formalisation and prover models. For reference, formalisation and prover models help convert informal human reasoning into strict, machine-readable logic
It will also look to hire more AI research talent and scale domain expertise across regulated verticals.
Founded by IIT Madras alumni Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam in September 2025 and registered in Bengaluru, Pramaana Labs targets high-stakes industries where AI hallucinations could carry severe legal consequences.
The startup aims to solve the problem of unreliable, AI-hallucinated outputs by building an infrastructure layer that could enable auto-formalisation. When processing queries, Pramaana’s engine translates questions into formal statements and executes a proof engine. It provides a machine-checkable proof of correctness or identifies the specific rule breached, refusing to answer if a proof cannot be established.
“The foundational domains that hold the world together: tax, law, finance, healthcare; all run on certainty. Probabilistic AI can’t give them that,” wrote Rajagopalan in a LinkedIn post.
“We built Pramaana to deliver a 100% trustable experience to the domains that run on certainty: AI that is provably correct, not probabilistically correct. We turn statute and regulation into machine-verifiable code, so every output ships with mathematical proof of correctness. Our mission is to make AI take ownership of its work. Pramaana in Sanskrit stands for ‘means of valid knowledge’, and we’re going to achieve that by formalising the world’s knowledge,” he added.
According to a report by TechCrunch, Pramaana’s technology is akin to the LEAN programming language which is used to verify mathematical proofs. It essentially translates complex domain knowledge like tax codes and legal statutes into machine-checkable, formally verifiable representations.
“Auto formalisation is a way to get at the things AI doesn’t do well. It’s a missing capability,” said Vinod Khosla, founder, Khosla Ventures, in a video released by Pramana announcing the funding.
Compared to a typical seed funding round, Pramaana has raised a sizable amount. For context, all five seed stage startup funding rounds last week added up to $22 Mn in total.
Notably, the announcement also comes within days of another Khosla Ventures-backed AI startup, Sarvam, turning a unicorn as it raised funding at a $1.5 Bn valuation as part of a $300 Mn Series B round.
Indian AI startups raised $253 Mn in Q1 2026, around 73% more compared to a year prior, according to Inc42 Datalabs. Over 86% of the funding raised by these companies since 2020 has flowed towards those building in the application layer, a signal of investors’ focus on commercial outcomes.
Comments are closed.