TechCrunch AI
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
TechCrunch AI published: Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.
Read originalWhy it matters
This reported AI news may affect AI product capabilities, developer choices, or adoption timing. Review the original source for exact claims and availability.
This page is an independent summary. Facts and availability should be verified in the original publication.
AIStartupsformal verificationKhosla Ventures