3 outlets·3 reports·over 23h
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
ThinkingNews Desk · how this was written
Pramaana Labs announced a $27 million seed round led by Khosla Ventures to develop a deterministic verification layer for large language models. The company uses the LEAN programming language to apply formal, mathematical proofs to AI outputs, aiming at applications in law, tax and drug discovery. This funding will support building that verification infrastructure.
Written from all 3 reports below, not from any single one.
How it was reported
- TechCrunch·Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
- TechMeme·Pramaana Labs, which uses the LEAN programming language to build a deterministic verification layer on top of LLMs, raised a $27M seed led by Khosla Ventures (Russell Brandom/TechCrunch)
- The Next Web·Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery
Related stories
- AI coding startup Cognition reportedly already in talks to raise at $40B valuation3 outlets
- Indian conglomerate Reliance plans to invest up to $110B in building AI-related infrastructure over the next seven years, and JioHotstar plans a ChatGPT bot (Bloomberg)3 outlets
- Yann LeCun Raises $1 Billion to Build AI That Understands the Physical World5 outlets
- Chamath Palihapitiya raises $135M Series A for his AI coding startup, takes CEO role3 outlets