PRAMAANA LABS LANDS $27M TO VERIFY AI SAFETY

Formal verification—a mathematical approach to proving software correctness—has long been used in critical infrastructure and aerospace. Pramaana Labs applies this discipline to AI, focusing on domains where reliability is non-negotiable. The company's initial targets include law, drug discovery, and tax preparation. In these verticals, algorithmic mistakes can trigger costly litigation, failed clinical trials, or regulatory penalties. Khosla Ventures' backing signals investor confidence in the market for AI assurance tools. As enterprises deploy machine learning in sensitive applications, demand for verification methods beyond standard testing continues to grow. Pramaana joins a growing field of startups addressing AI safety and interpretability, though formal verification remains less established than competing approaches in the sector.