Pramaana Labs secured $27 million in a seed funding round led by Khosla Ventures to develop formal verification tools for artificial intelligence systems, the company announced this week. The startup aims to enhance the reliability and safety of AI models by applying rigorous mathematical methods to verify their behavior before deployment.
The seed round attracted participation from several investors, including Khosla Ventures as the lead backer. Pramaana Labs plans to use the funds to expand its engineering team and accelerate product development. The company’s co-founder highlighted the growing need for formal verification in AI to prevent errors and unintended consequences in complex machine learning applications.
Formal verification is a method traditionally used in hardware and software engineering to mathematically prove the correctness of systems. Its application to AI is emerging as a critical area due to the increasing deployment of AI in safety-sensitive domains like autonomous vehicles and healthcare. Pramaana Labs’ approach positions it alongside other startups focusing on AI reliability, a sector gaining investor interest amid rising concerns about AI risks.
Pramaana Labs will focus on scaling its verification platform and aims to release initial commercial products within the next year, according to the company’s statement. The $27 million seed round marks one of the largest early-stage investments in AI verification technology to date.