Boundless Intuition's autonomous proving agent Dirac proved all six problems of the 2026 International Mathematical Olympiad in 7 hours 18 minutes, faster than Pramaana Hardy's 8 hours 57 minutes and …
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, a San Francisco-based AI startup, raised a $27M seed round led by Khosla Ventures to build a verification layer for AI that makes outputs provable in high-stakes industries like law, he…
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…