Pramaana Labs raised a $27 million seed round from Khosla Ventures to bring formal verification to AI.
- Amount
- $27M
- Stage
- Seed
- Announced
- 17 June 2026
- Lead
- Khosla Ventures
- Other investors
- Accel, BoldCap, Nexus Venture Partners, Premji Invest, Unbound
- Use of funds
- Training formalisation and proof-checking models, expanding AI research staff, and entering regulated areas like tax and healthcare.
- Checked
- Amount and date matched across 3 press sources