Pramaana Labs raises $27 million led by Khosla Ventures
18 Jun 2026, 11:08 AMThe round also saw participation from existing and new investors including Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound.
Share the story on
AI verification and accountability platform Pramaana Labs has raised $27 million in a seed funding round led by Khosla Ventures.
The round also saw participation from existing and new investors including Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. The company's early backers include Pushmeet Kohli, VP at Google DeepMind, and Sriram Rajamani, Corporate VP at Microsoft CoreAI.
The San Francisco-based startup will use the fresh capital to train its formalisation and prover models, expand its AI research team, and onboard domain experts across regulated sectors such as taxation, healthcare diagnostics, cybersecurity, and financial compliance.
Pramaana Labs was founded by IIT Madras alumni Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam, who previously worked at Google Maps Moderation, Glean, and Google DeepMind (Gemini), respectively.
The company builds AI systems that convert complex domain knowledge, such as tax codes and clinical protocols, into machine-verifiable logic using the LEAN proof language, layered atop an LLM for natural-language flexibility.
"AI has an accountability gap," said Rajagopalan, co-founder and CEO of Pramaana Labs. He added that the rules governing domains like tax codes function much like mathematical rules, so once codified, the reasoning built on top of them becomes deterministic rather than probabilistic.
Khosla Ventures Founder Vinod Khosla said auto-formalisation addresses a capability AI currently lacks.
Who Reads Us
“I enjoy reading The Head and Tale for their coverage on the Fintech landscape. The reporting is incisive and honest, and it demonstrates a sharp understanding of the industry and the issues that concern it. I'd like to extend my best wishes to Arti for her continued success.”
“Well-researched, informative and analysis based reporting makes an interesting read. 'The Head and Tale' news portal has been demonstrating this quite well covering fintech and emerging tech sectors. Their timely updates, exclusive stories and different perspectives on these sectors help me stay informed. Kudos to Arti Singh for pursuing her passion and best wishes to the team.”
“The Head and Tale stands out for its deep industry knowledge and impressive network of sources. I especially appreciate that the reporting remains independent, rarely resorting to paid puff pieces, making it a publication I can genuinely trust. Having followed Arti’s work for years, I’ve come to rely on The Head and Tale for its unparalleled insight and truly independent coverage. Arti’s long-standing presence in the sector means her reporting is always informed, with access few can match.”
“What I really appreciate about The Head and Tale is that it doesn’t just report the news, it interprets it. The stories are well-researched, comprehensive, and bold. Arti brings a fearless lens to reporting, often asking the uncomfortable but necessary questions. She makes you pause, reflect, and rethink what it all means for the payments and fintech ecosystem. It’s rare to find journalism that’s this sharp, timely, and relevant to the work we do every day.”
“I’ve always valued journalism that goes beyond surface-level headlines. The Head and Tale does exactly that - it connects the dots, asks the tough questions, and brings clarity to the shifts shaping our evolving industry. I’ve even encouraged my team members to subscribe, because staying informed through credible, deeply reported stories is as important as building products. For me, The Head and Tale has become part of essential reading.”
