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

Pramaana Labs secured $27 million in seed funding led by Khosla Ventures on May 15, 2024, to develop AI systems with formal verification. This technology aims to provide mathematical guarantees of correctness, reducing the risk of errors in AI models. The company will initially target high-stakes industries such as law, drug discovery, and tax preparation, where the consequences of AI inaccuracies are significant. Pramaana's approach seeks to address the growing demand for trustworthy AI in sectors where reliability is paramount and the cost of errors is substantial. The funding will support the expansion of Pramaana's engineering team and the acceleration of its product development roadmap. The company's co-founders, who previously worked at Google and Meta, bring extensive experience in AI research and software engineering to the venture. Pramaana's technology is designed to integrate with existing AI development workflows, offering a layer of assurance for critical applications. The seed round also saw participation from other notable investors, underscoring confidence in Pramaana's mission to enhance AI safety and reliability.