Pramaana Labs raises $27 million led by Khosla Ventures (opens in new tab)

AI verification and accountability platform Pramaana Labs has raised $27 million in a seed funding round led by Khosla Ventures.The round also saw participation from existing and new investors including Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. The company's early backers include Pushmeet Kohli, VP at Google DeepMind, and Sriram Rajamani, Corporate VP at Microsoft CoreAI.The San Francisco-based startup will use the fresh capital to train its formalisation and prover ...