Pramaana Labs, a San Francisco-based AI startup, has raised a $27M seed round led by Khosla Ventures to build what it calls a verification layer for artificial intelligence. The company’s thesis is deceptively simple: in industries where being wrong carries real consequences, AI shouldn’t just guess. It should prove its work.
The round also includes backing from BoldCap and Founders Future.
What Pramaana actually does
Pramaana Labs is building technology that translates complex domain knowledge, think tax codes, clinical guidelines, legal statutes, and safety constraints, into formally verifiable representations. In English: instead of an AI saying “this tax deduction is probably valid,” Pramaana’s layer would let it show its reasoning chain in a way that can be machine-checked against actual rules.
The company was co-founded by Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam. Their target verticals are deliberately narrow and deliberately high-stakes: statutory tax reasoning, legal compliance, healthcare safety, and autonomous systems.













