54
/
2
Min Read
AI startup Pramaana Labs has raised USD 27 million in a seed funding round led by Khosla Ventures with participation of Boldcap, Accel and additional investors.
Founded in 2025 by Ranjan Rajagopalan, Krishnan Raghavan and Sanjay Ganapathy Subramaniam, Pramaana Labs builds a verification layer of AI. According to the company, Pramaana encodes the actual rules of a domain, the US tax code, clinical protocols and financial regulations into a formal language that a machine can reason over with mathematical certainty.
When a user asks a question, the system translates that question into a formal statement, runs it through a proof engine and either returns a machine-checkable proof that the answer is correct or tells the user exactly which rule breaks and why. It will refuse to answer before it proves. It has never produced a confidently wrong verified answer, the company further claims.
“AI has an accountability gap,” said Ranjan Rajagopalan, Co-Founder and CEO of Pramaana Labs in a statement. “The world’s hardest problems are not unsolvable. They are unformalized. Every domain where being wrong can cost someone their health, money or freedom has rules. Pramaana encodes those rules into a form that a machine can reason over with certainty. When AI can prove its answers, the human in the loop stops being a liability shield and AI becomes what it was always supposed to be: the expert.”
Sathya Narayanan, General Partner at BoldCap, added: “We backed Pramaana at the earliest stage because we believed the team was tackling one of the most important problems in AI: Trust. Autoformalization infrastructure is the unlock for superintelligence. Right now every high stakes AI answer waits on a human to check it, so the system runs at the speed of that person. Once we formalize the rules of the real world, that human bottle neck disappears. That is the conviction that made us back Pramaana and why we are doubling down in this round. Done right, this does not just make AI better, it leads to abundance.”
This article was originally
published by the 
