Pramaana Labs Innovates in AI Verification with $27 Million Seed Funding

Pramaana Labs has emerged as a key player in AI verification, recently securing $27 million in a seed funding round. This financing was led by Khosla Ventures, with contributions from Accel, Boldcap, Nexus Venture Partners, Premji Invest, and Unbound. Early supporters of the company include notable figures such as Pushmeet Kohli, Vice President at Google DeepMind, and Sriram Rajamani, Corporate Vice President at Microsoft CoreAI.

The funds raised will be allocated towards training formalisation and prover models, recruiting AI researchers, and expanding its network of domain experts across regulated sectors like tax, healthcare, cybersecurity, and financial compliance, as stated by Pramaana Labs in a press announcement.

About Pramaana Labs

Established in 2025 by Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam, Pramaana Labs is dedicated to building AI systems that transform intricate human knowledge into machine verifiable truth. The platform ensures that every claim is rooted, traceable, and accountable, making it the pioneer in applying formal verification to high-stakes commercial domains such as tax, healthcare, financial compliance, and government policy.

How Pramaana Labs Operates

The systems developed by Pramaana convert sophisticated knowledge into machine verifiable truth by first encoding the governing rules of a domain—such as the US tax code, clinical protocols, and financial regulations—into a formal language that machines can accurately reason over with mathematical certainty.

Collaborative Research Efforts

The frontier research lab of Pramaana assembles professors from esteemed institutions like IIT Delhi, IIT Madras, and UC Berkeley, and it collaborates with Stanford’s Centaur Lab on various research initiatives.

Competitive Landscape

Pramaana Labs operates in a competitive environment, facing other players in the field such as Harmonic, Axiom Math, and Logical Intelligence.