Unbound

Pramaana Labs raised $27 million in seed funding led by Khosla Ventures to develop an AI system that uses formal verification to ensure accuracy in law, tax, and drug discovery. The startup combines l…

Pramaana Labs, an AI startup founded by Ranjan Rajagopalan, raised $27 million in seed funding led by Khosla Ventures to develop formal verification systems for large language models. The company targ…

Pramaana Labs raised $27 million in seed funding led by Khosla Ventures to apply formal verification to AI systems, targeting high-stakes fields like law, drug discovery, and tax preparation. The star…