Funding · TechCrunch AI ·
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
Pramaana Labs raised a $27 million seed round led by Khosla Ventures to apply formal verification techniques to AI systems. The company plans to target sensitive use cases in law, drug discovery, and tax preparation where reliability is critical.