Pramaana Labs Raises $27M Seed Round for AI Formal Verification With LEAN Proofs

According to Beating, AI formal verification startup Pramaana Labs has completed a $27 million seed round led by Khosla Ventures, with participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. The company uses LEAN, an open-source programming language for verifying mathematical theorems, to build a deterministic verification layer atop large language models for high-stakes industries including law, drug development, and tax compliance.

Pramaana is collaborating with former U.S. IRS Commissioner Danny Werfel for tax applications and professors from IIT Delhi, IIT Madras, and UC Berkeley for cybersecurity and drug development verification systems.