Pramaana Labs says its technology converts complex rules from areas such as taxation, healthcare, cybersecurity and financial compliance into a formal language that AI systems can verify mathematically
AI firm Pramaana Labs, which has half of its workforce in India, on Wednesday said it has raised USD 27 million, about Rs 255 crore, in a funding round led by Khosla Ventures.
Investment firms Boldcap, Nexus Venture Partners, Premji Invest and Unbound also participated in the funding round.
“Pramaana Labs, building the layer that takes AI from probably right to provably right, has raised USD 27 million in seed funding led by Khosla Ventures, with Accel and additional investors,” the statement said.
The company plans to use the fund to train the formalisation and prover models, hire AI research, and scale domain experts across regulated verticals, including tax, human diagnosis, cybersecurity and financial compliance.
Company develops AI system focused on machine-verifiable answers
Pramaana Lab has developed a system that it claims converts complex knowledge into machine-verifiable truth.
First, 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 statement said.
Startup targets regulated industries with accountable AI
Pramaana Labs Co-Founder and CEO Ranjan Rajagopalan said that AI has an accountability gap, and 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,” he said.
Published on June 18, 2026