Pramaana Labs funding, investors and company details

Pramaana Labs is an emerging Artificial Intelligence (AI) startup from Bengaluru, working in the space of AI verification startup that builds a formal verification layer for high-stakes AI. Founded by Ranjan Rajagopala, Krishnan Raghavan, Sanjay Ganapathy.

Company: Rks Pramaana Labs India Limited
Sector: Artificial Intelligence (AI)
Location: Bengaluru
Founders: Ranjan Rajagopala, Krishnan Raghavan, Sanjay Ganapathy

Company overview

Pramaana Labs is an AI verification startup that builds a formal verification layer for high-stakes AI, making systems prove answers are correct before returning them. The company develops a "compiler for high-stakes AI" combining an LLM engine with a deterministic verification layer using LEAN programming language to ensure answers meet domain-specific rules. Their platform converts tax codes, clinical protocols, and financial compliance frameworks into machine-verifiable outputs, checking queries through a proof engine before responding. Pramaana targets law, drug discovery, tax preparation, medical diagnosis, and financial compliance where errors are costly.

Funding rounds

Latest round (Seed): $ 27.00 Mn (₹254.21 Cr.), 2026-06-18. Investors: Khosla Ventures, Accel, Boldcap VC, Nexus Venture Partners, Premji Invest, Unbound