Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI | TechCrunch
…real precedent for much of this work; Rajagopalan points to France’s CATALA project , which formalizes much of the country’s tax and benefit system into executable code. For each use case…
