[STARTUPS]■ STORY TIMELINE
PRAMAANA LABS LANDS $27M TO VERIFY AI SAFETY
Pramaana Labs secured $27M in seed funding from Khosla Ventures to develop formal verification technology for artificial intelligence systems. The startup targets high-stakes sectors where AI errors carry serious consequences.
TechCrunch+0m
Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be co…
Techmeme+20m
Russell Brandom / TechCrunch: Pramaana Labs, which uses the LEAN programming language to build a deterministic verificat…