Pramaana Labs Raises $27M for Verifiable AI

Pramaana Labs has raised $27 million in seed funding to build a formal verification layer for AI in high-stakes industries including tax, medical diagnosis, cybersecurity and financial compliance. The system uses a deterministic proof engine built on Lean, an open-source mathematical proof language, to verify AI outputs against codified domain rules before returning answers to users. Founded by three IIT Madras alumni with backgrounds at Google DeepMind and Glean, the company is building separate verification systems for each use case, advised by domain experts including former IRS Commissioner Danny Werfel. The round was led by Khosla Ventures, with participation from Accel, Nexus Venture Partners and others.