India, June 17 -- AI startup Pramaana Labs, a startup that is building a "verification layer" for AI, has raised $27 Mn (about Rs.258 Cr) in a seed funding round led by Khosla Ventures. Other investors that backed the startup include Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound.

It will utilise the capital to train its formalisation and prover models. For reference, formalisation and prover models help convert informal human reasoning into strict, machine-readable logic

It will also look to hire more AI research talent and scale domain expertise across regulated verticals.

Founded by IIT Madras alumni Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam in September 2025 and registered in Bengal...