Pramaana Labs Secures $27M

Pramaana Labs is a frontier AI lab that aims to build the verification layer for AI systems, enabling them to provide machine-checkable proof of their correctness. The company's mission is to bring formal verification to high-stakes domains such as tax, healthcare, and law, where the consequences of incorrect answers can be severe. Pramaana Labs has raised $27M in funding led by Khosla Ventures to support the development of its compiler for mission-critical AI. The funding will be used to build domain-specific verification systems that can translate complex knowledge into formal representations, search the solution space with provers and solvers, and return proof artifacts that domain experts can inspect. The result is AI with accountability built into the architecture, rather than added later through policy, prompting, or trust. Pramaana Labs currently operates in domains such as tax and statutory reasoning, healthcare and clinical safety, public systems and policy, and legal and regulatory compliance. The company's goal is to make AI systems more trustworthy and reliable, particularly in high-stakes domains where the consequences of incorrect answers can be severe.