Pramaana Labs raises $27M from Khosla Ventures to make AI answers mathematically verifiable
Pramaana Labs, an AI startup founded by IIT Madras alumni, has secured $27 million in seed funding led by Khosla Ventures. The company combines traditional large language models with formal verification systems to ensure AI-generated answers are mathematically verifiable, targeting high-stakes domains like tax preparation, medical diagnosis, and financial compliance where errors carry serious consequences.