Back to AIBriefs
EventBusiness

Pramaana Labs raises $27M seed from Khosla Ventures for AI formal verification

Pramaana Labs raises $27M seed from Khosla Ventures for AI formal verificationTechCrunch

Pramaana Labs raised a $27 million seed round led by Khosla Ventures to apply formal verification to AI, targeting high-stakes fields like law, drug discovery, and tax preparation. The approach aims to mathematically prove model correctness in safety-critical applications.

·
3 hours ago
Pramaana Labs raises $27M seed from Khosla Ventures for AI formal verification — AIBriefs