Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

Pramaana Labs has secured 27 million dollars in seed funding led by Khosla Ventures to develop formal verification tools for artificial intelligence. The startup aims to reduce errors in high-stakes fields such as drug discovery, legal services, and tax preparation, where computational reliability is critical.