AI verification and accountability platform Pramaana Labs has successfully raised $27 million in a seed funding round led by Khosla Ventures, with additional participation from Accel, Boldcap, Nexus Venture Partners, Premji Invest, and Unbound.Founded in 2025 by Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam, Pramaana Labs aims to transform complex human knowledge into machine-verifiable truths.The company plans to utilize the proceeds from this funding to enhance its formalisation and prover models, recruit AI researchers, and expand its network of domain experts in regulated fields such as tax, healthcare, cybersecurity, and financial compliance.Pramaana Labs is notable for being the first to apply formal verification techniques to high-stakes commercial domains, including tax regulations and healthcare protocols.The company collaborates with leading academic institutions, including IIT Delhi, IIT Madras, and UC Berkeley, and has research partnerships with Stanford’s Centaur Lab. The competitive landscape includes other players like Harmonic, Axiom Math, and Logical Intelligence, indicating a growing interest in AI-driven verification solutions.
