The funding will back a deterministic AI verification layer for error-intolerant fields such as law, drug development and tax filing, with Accel, BoldCap, Nexus Venture Partners, Premji Invest and Unbound also participating.
Pramaana Labs said it raised a $27 million seed round led by Khosla Ventures, with Accel, BoldCap, Nexus Venture Partners, Premji Invest and Unbound participating. The startup is building a deterministic verification layer for AI aimed at error-intolerant sectors including law, drug development and tax filing. It said the system will use LEAN-style formal verification above traditional large language models, underscoring investor interest in tools designed to improve accuracy and accountability where AI mistakes can carry significant consequences.