Indian AI startup Pramaana Labs, founded by IIT Madras alumni, has raised $27 million in a seed round led by Khosla Ventures to create a ‘verification layer’ for AI that ensures outputs are provably correct, targeting high-stakes domains such as law, finance, and healthcare.
- Raised $27 million seed round led by Khosla Ventures
- Building AI formalisation and prover models for regulated sectors
- Focus on mathematically provable AI correctness over probabilistic outputs
What happened
Pramaana Labs, an AI startup founded in September 2025 by IIT Madras alumni, announced a $27 million seed funding round. The round was led by Khosla Ventures and included participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. This sizeable early-stage investment highlights strong investor confidence in Pramaana’s mission and technology.
The startup plans to use the funds to further develop its core technology, specifically its formalisation and prover models which translate informal human reasoning into formal, machine-readable logic. Pramaana will also expand its team by hiring additional AI researchers and domain experts to scale its product across regulated verticals such as law, finance, healthcare, and taxation.
Why it matters
AI hallucinations—incorrect or fabricated outputs generated by AI—pose significant risks in industries dependent on precision and legal certainty. Pramaana Labs addresses this challenge by building an infrastructure layer that formalizes domain knowledge into machine-verifiable code, delivering AI results accompanied by proofs of correctness. This approach aims to replace probabilistic AI with provably correct AI in domains where certainty is crucial.
The technology is comparable to formal proof systems like the LEAN programming language used in mathematics, but adapted to complex regulations and statutes. This innovation could redefine how AI is applied in high-risk sectors, potentially reducing errors and legal liabilities by ensuring outputs can be independently verified or rejected if proof cannot be established.
What to watch next
Observers should track how Pramaana Labs scales its solution across different regulated industries and integrates its technology with existing AI frameworks. Success could position the startup as a key enabler of trustworthy AI adoption in sectors where compliance and correctness are vital. Their ability to attract and retain AI research talent will also influence their pace of innovation and deployment.
Given the robust funding environment for Indian AI startups—with $253 million raised in Q1 2026 and a focus on application-layer AI—Pramaana’s progress will be closely watched as a potential bellwether for verification technologies. The company’s ability to deliver on its promise of mathematically provable AI could lead to broader adoption of formal verification frameworks beyond India as well.