Pramaana Labs has raised $27M in seed funding led by Khosla Ventures to build AI systems with formal verification guarantees. The startup wraps conventional LLMs with a layer based on LEAN, an open-source formal proof language, to make AI reasoning deterministic rather than probabilistic. It targets high-stakes domains — law, tax, and drug discovery — where errors carry serious consequences. The company is codifying domain rules one vertical at a time, working with experts including former IRS commissioner Danny Werfel and professors from IIT Delhi, IIT Madras, and UC Berkeley.
75 Impressions