Archive — US — techcrunch
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formalverification to AI
Pramaana Labs has raised $27 million in seed funding from Khosla Ventures to develop formal verification systems for AI applications in sensitive fields like law and drug discovery, addressing AI reliability and error concerns with a unique combination of conventional LLM and deterministic verification based on mathematical formalization.
Key points
- Pramaana Labs raises $27M seed funding led by Khosla Ventures.
- Focus areas include law, drug discovery, and tax preparation.
- The startup aims to enhance AI reliability to mitigate costly errors.
- Pramaana uses a conventional LLM with a deterministic layer for accuracy.
- Formal verification tools, particularly the LEAN programming language, will be employed.
- Historical precedent includes France’s CATALA project, which formalizes tax systems.
Why it matters
- AI reliability is increasingly critical as more enterprises utilize AI, reflecting the 2025 trend of integrating AI into crucial business processes.
- The use of formal verification in AI mirrors ongoing discussions about transparency and accountability in AI systems, especially post-2020 concerns over AI biases and inaccuracies.
- Formalization and codification of rules are essential for sectors where errors can have severe consequences, aligning with heightened regulatory scrutiny by 2025.
Pramaana's innovative approach to combining LLMs with formal verification represents a significant step forward in making AI systems more reliable in critical applications, reflecting the increasing importance of accuracy and accountability in technology.