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 has also attracted support from notable early backers, including Pushmeet Kohli, Vice President at Google DeepMind, and Sriram Rajamani, Corporate Vice President at Microsoft CoreAI.
According to the company, the fresh capital will be used to train its formalisation and prover models, expand its team of AI researchers and scale its network of domain experts across regulated sectors such as tax, healthcare, cybersecurity and financial compliance.
Founded in 2025 by Ranjan Rajagopalan, Krishnan Raghavan and Sanjay Ganapathy Subramaniam, Pramaana Labs develops AI systems designed to convert complex human knowledge into machine-verifiable truth, where every claim is grounded, traceable and accountable.
The company claims to be the first to apply formal verification techniques to commercial and high-stakes sectors, including tax, healthcare, financial compliance and government policy.
Pramaana’s platform works by translating complex domain knowledge into machine-verifiable formats. It encodes rules from areas such as the US tax code, clinical protocols and financial regulations into a formal language, enabling machines to reason over them with mathematical certainty.
The company also operates a frontier research lab that brings together researchers and professors from IIT Delhi, IIT Madras and UC Berkeley. In addition, it collaborates with Stanford’s Centaur Lab on related research initiatives.
As demand grows for trustworthy and accountable AI systems, Pramaana Labs is positioning itself at the intersection of artificial intelligence, formal verification and regulatory compliance.
The startup competes with other companies operating in the space, including Harmonic, Axiom Math and Logical Intelligence.
Also read: Viksit Workforce for a Viksit Bharat
Do Follow: The Mainstream LinkedIn | The Mainstream Facebook | The Mainstream Youtube | The Mainstream Twitter
About us:
The Mainstream is a premier platform delivering the latest updates and informed perspectives across the technology business and cyber landscape. Built on research-driven, thought leadership and original intellectual property, The Mainstream also curates summits & conferences that convene decision makers to explore how technology reshapes industries and leadership. With a growing presence in India and globally across the Middle East, Africa, ASEAN, the USA, the UK and Australia, The Mainstream carries a vision to bring the latest happenings and insights to 8.2 billion people and to place technology at the centre of conversation for leaders navigating the future.