Pramaana Labs raises $27M for AI formal verification

Pramaana Labs raised $27 million in seed funding led by Khosla Ventures to apply formal verification to AI systems. The startup uses the open-source LEAN programming language to add a deterministic verification layer on top of conventional LLMs. It targets high-stakes fields like law, drug discovery, and tax preparation.