Pramaana Labs, an AI startup focused on building a verification layer for artificial intelligence, has raised $27 million in a seed funding round led by Khosla Ventures, according to inc42.com. Other investors in the round include Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. Founded in September 2025 by IIT Madras alumni Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam, the Bengaluru-registered startup plans to use the funds to develop its formalisation and prover models and expand its AI research team.
The startup aims to address the problem of AI hallucinations—unreliable outputs generated by probabilistic AI—by creating an infrastructure layer that enables auto-formalisation. Pramaana's engine translates informal human queries into formal statements and runs a proof engine that either provides a machine-checkable proof of correctness or identifies the specific rule violated, refusing to answer if a proof cannot be established. This approach targets regulated sectors such as tax, law, finance, and healthcare, where certainty is critical, as explained by co-founder Ranjan Rajagopalan in a LinkedIn post cited by inc42.com.
The funding round underscores growing investor interest in AI safety and reliability, especially in high-stakes industries where errors can have severe legal consequences. Pramaana Labs' focus on formal logic and proof-based verification differentiates it from other AI startups that rely solely on probabilistic models. The company joins a broader trend of startups building tools to enhance trust and transparency in AI outputs, responding to increasing concerns about AI hallucinations and their impact on regulated domains.
Pramaana Labs will deploy the $27 million to train its formalisation and prover models, hire additional AI research talent, and scale domain expertise across regulated verticals, according to inc42.com. The startup’s next milestones include expanding its team and advancing its technology to provide a 100% trustable AI experience in sectors where certainty is paramount.