Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI | TechCrunch
…For tax law, the company is working with former IRS commissioner Danny Werfel, while professors from IIT Delhi, IIT Madras, and UC Berkeley oversee the cybersecurity and drug discovery system. “The world…