AI startup Pramaana Labs has raised $27 million (approximately Rs. 255 crore) in a seed funding round led by Khosla Ventures, announced on June 17, 2026. The round also included participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. Pramaana Labs, based in San Francisco with half its workforce in India, is building a “verification layer” for artificial intelligence to make AI outputs “provably right” instead of just “probably right”. The company addresses one of AI’s biggest problems: reliability and hallucinations (fabricating incorrect information).
The startup uses formal verification techniques from aerospace and hardware design, drawing on the open-source LEAN programming language typically used to verify mathematical proofs. When a user asks a question, Pramaana’s system translates it into a formal statement, runs it through a proof engine, and returns either a machine-checkable proof that the answer is correct or explains exactly which rule breaks. The system will refuse to answer before it proves correctness and has never produced a confidently wrong verified answer.
Pramaana will focus on highly sensitive verticals where errors are costly and reliability is critical: law, drug discovery, and tax preparation. The company plans to use the funding to train formalisation and prover models, hire AI researchers, and scale domain experts across regulated verticals including tax, human diagnosis, cybersecurity, and financial compliance.
The startup held its first Verification Summit on June 10, 2026, in San Francisco with Vinod Khosla attending. This investment signals growing investor confidence in companies making AI dependable for critical business operations rather than just probabilistic chatbots.
FAQs [Frequently Asked Questions]
1. What is Pramaana Labs and what problem does it solve?
Pramaana Labs is a San Francisco AI startup building a verification layer to make AI outputs mathematically proven correct, eliminating hallucinations and errors in critical sectors.
2. Who led Pramaana Labs’ $27 million funding round?
Khosla Ventures led the seed round, with Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound also participating.
3. How will Pramaana Labs use the $27 million funding?
The company will train formalisation models, hire AI researchers, and scale domain experts across tax, law, healthcare, cybersecurity, and financial compliance verticals.