Pramaana Labs

Entrepreneur - CEO at Pramaana Labs

Pramaana Labs is a San Francisco-based AI startup building a verification layer for artificial intelligence , aimed at high-stakes regulated domains where probabilistic outputs are not acceptable. The company translates complex domain knowledge like tax codes, clinical guidelines, legal statutes, and safety constraints into formally verifiable representations , so that an AI answer ships with a machine-checkable proof against the underlying rules. The approach is akin to the LEAN programming language used to verify mathematical proofs , applied to statutes and regulations rather than pure math. This launch marks the company's emergence from stealth alongside a $27 million seed round led by Khosla Ventures, with participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound . According to the team, the capital will go toward training its formalisation and prover models, hiring more AI research talent, and scaling domain expertise , with initial focus on statutory tax reasoning, legal compliance, healthcare safety, and autonomous systems . The timing tracks with growing pressure on AI deployments in regulated work, including courtroom scrutiny of attorneys who file briefs containing fabricated citations. The company was co-founded by Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam , with Rajagopalan serving as CEO. As he framed it in the launch announcement, Pramaana in Sanskrit stands for "means of valid knowledge," and the company aims to achieve that by formalising the world's knowledge , turning regulation into code that an AI system can be held accountable to.

Tags

Comments (12)