{"slug": "pramaana-labs-raised-27m-to-wrap-ai-in-mathematical-proof-for-law-tax-and-drug", "title": "Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery", "summary": "Pramaana Labs raised $27 million in seed funding led by Khosla Ventures to develop an AI system that uses formal verification to ensure accuracy in law, tax, and drug discovery. The startup combines large language models with the LEAN proof-checking language to make reasoning deterministic, targeting high-stakes fields where errors have serious consequences.", "body_md": "As companies struggle to turn AI pilots into things they can actually rely on, a new startup is betting the fix looks less like a better chatbot and more like a mathematical proof.\n\nPramaana Labs announced $27mn in seed funding on Wednesday, led by Khosla Ventures, with Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound also taking part.\n\nThe company is going after high-stakes fields where a wrong answer carries real cost: law, drug discovery, and tax preparation.\n\nIts pitch is that those fields are not as messy as they look. “The world’s hardest problems are not unsolvable. They are unformalised,” said co-founder and chief executive Ranjan Rajagopalan. “Every domain where being wrong can cost someone their health, money, or freedom has rules.”\n\n## An LLM with a proof-checker bolted on\n\nPramaana still runs on a conventional large language model, which gives it the flexibility to handle natural-language questions. The difference sits on top.\n\nThat layer draws on formal verification, the practice of proving a system behaves exactly as specified. Specifically, Pramaana uses LEAN, the open-source language mathematicians use to verify proofs, to check the model’s work and make the reasoning deterministic rather than probabilistic.\n\n“It’s like math in the sense that you have a lot of rules that you need to abide by,” Rajagopalan told TechCrunch, describing the tax code. “Once you have a codified version of it, the reasoning on top of it starts becoming deterministic.”\n\nPairing an LLM with a verification layer is becoming a common way to attack AI’s [reliability problem](https://thenextweb.com/news/ai-hallucinations-pose-direct-threat-science). What Pramaana claims as its own is the use of formal-proof tooling to do it, an approach that sits closer to [provable-guarantee research](https://thenextweb.com/news/british-darpa-aria-plans-ai-safety-gatekeepers) than to the usual guardrails.\n\n## Building the rulebook, domain by domain\n\nThe catch is that someone has to codify the rules first, and Pramaana is doing it one vertical at a time, each overseen by domain experts.\n\nFor tax, the company is working with former IRS commissioner Danny Werfel. Professors from IIT Delhi, IIT Madras, and UC Berkeley are overseeing the cybersecurity and drug-discovery systems.\n\nThere is precedent for the idea. Rajagopalan points to France’s CATALA project, which has turned much of the country’s tax and benefit law into executable code.\n\nFor now the work is still ahead of the product. Pramaana has the money, the backers, and a thesis that AI’s accuracy ceiling is really a question of how much of the world we have bothered to write down. The rules just need codifying, and that is the hard part.\n\n## Get the TNW newsletter\n\nGet the most important tech news in your inbox each week.", "url": "https://wpnews.pro/news/pramaana-labs-raised-27m-to-wrap-ai-in-mathematical-proof-for-law-tax-and-drug", "canonical_source": "https://thenextweb.com/news/pramaana-labs-27m-seed-formal-verification-ai", "published_at": "2026-06-18 13:21:01+00:00", "updated_at": "2026-06-18 13:56:44.057066+00:00", "lang": "en", "topics": ["artificial-intelligence", "large-language-models", "ai-startups", "ai-safety", "ai-research"], "entities": ["Pramaana Labs", "Khosla Ventures", "Accel", "BoldCap", "Nexus Venture Partners", "Premji Invest", "Unbound", "LEAN"], "alternates": {"html": "https://wpnews.pro/news/pramaana-labs-raised-27m-to-wrap-ai-in-mathematical-proof-for-law-tax-and-drug", "markdown": "https://wpnews.pro/news/pramaana-labs-raised-27m-to-wrap-ai-in-mathematical-proof-for-law-tax-and-drug.md", "text": "https://wpnews.pro/news/pramaana-labs-raised-27m-to-wrap-ai-in-mathematical-proof-for-law-tax-and-drug.txt", "jsonld": "https://wpnews.pro/news/pramaana-labs-raised-27m-to-wrap-ai-in-mathematical-proof-for-law-tax-and-drug.jsonld"}}