Pramaana Labs Raises $27M to Develop Formal Verification for AI in Regulated Fields
Covered by 2 sources
Pramaana Labs secured $27 million in seed funding led by Khosla Ventures to create AI tools using formal verification and mathematical proofs. Their technology targets improved reliability and explainability in sectors like law, tax, and drug discovery.