Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
TechCrunch
Pramaana Labs secured $27 million to integrate formal verification into AI systems, enhancing reliability for sensitive sectors like law and healthcare.Summary
Pramaana Labs has raised $27 million in seed funding, led by Khosla Ventures, to improve the reliability of artificial intelligence. By combining large language models with formal verification—a process utilizing the LEAN programming language to mathematically check results—the startup aims to minimize hallucinations and errors. The company focuses on high-stakes fields such as tax preparation, cybersecurity, and drug discovery, where accuracy is critical and deterministic reasoning is required to ensure compliance with established rules.
(Source：TechCrunch)