AI verification and accountability platform Pramaana Labs has raised $27 million in a seed funding round led by Khosla Ventures, with participation from 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 proceeds will be used to train its formalisation and prover models, hire AI researchers, and scale its network of domain experts across regulated verticals, including tax, healthcare, cybersecurity, and financial compliance, Pramaana Labs said in a press release.

Pramaana's system 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. Its frontier research lab brings together professors from IIT Delhi, IIT Madras, and UC Berkeley, and also collaborates with Stanford's Centaur Lab on related research initiatives. Pramaana Labs competes with other players in this space, including Harmonic, Axiom Math, and Logical Intelligence.

About Pramaana Labs

Pramaana Labs has been Founded in 2025 by Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam. Pramaana Labs builds AI systems that convert complex human knowledge into machine verifiable truth, where every claim is grounded, traceable, and accountable. The company says it is the first to apply formal verification to commercial, high stakes domains such as tax, healthcare, financial compliance, and government policy.