AI verification and accountability platform Pramaana Labs has raised $27 million in a seed funding round led by Khosla Ventures.
The funding also saw participation from Accel, Boldcap, Nexus Venture Partners, Premji Invest, and Unbound, the startup said.
The company plans to use the capital to train the formalisation and prover models, hire AI researchers, and scale its network of domain experts across regulated verticals, including tax, human diagnosis, cybersecurity and financial compliance, it said in a statement.
Founded in 2025 by Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam, Pramaana Labs has developed a system that it claims converts complex knowledge into machine-verifiable truth. It first encodes the rules of a domain, such as the US tax code, clinical protocols, and financial regulations, into a formal language that machines 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.
