Back to Headlines
Tech
Jun 17, 2026
Analyzed by Llama- 4 Scout 17B 16E Instruct

Pramaana Labs Secures $27M to Apply Formal Verification to AI

AI Summary
Pramaana Labs raises $27M in seed funding to develop AI systems with formal verification, focusing on high-stakes industries like law, drug discovery, and tax preparation.

The Rise of Formal Verification in AI

As enterprises struggle to integrate AI into their operations, ensuring reliability has become a critical challenge. Pramaana Labs aims to address this issue by leveraging mathematical formalization, combining the rigor of computer science with the flexibility of AI.

Pramaana's Seed Funding and Vision

Pramaana Labs has secured $27 million in seed funding led by Khosla Ventures, with participation from Accel, Boldcap, Nexus Venture Partners, Premji Invest, and Unbound. The company focuses on high-sensitivity sectors such as law, drug discovery, and tax preparation, where errors can have severe consequences.

Deterministic AI for High-Stakes Industries

Pramaana's approach involves building a deterministic layer on top of a conventional Large Language Model (LLM). This layer ensures the accuracy and reliability of the LLM's outputs, making it suitable for applications where precision is paramount. According to co-founder and CEO Ranjan Rajagopalan, industries with well-defined rules, such as tax law, are ideal candidates for formalization.

The Technical Approach

  • Pramaana uses a combination of an LLM engine with deterministic verification.
  • The company employs the open-source LEAN programming language for formal verification.
  • Domain experts oversee the development of formal verification systems for each use case.

Expert Collaboration and Precedents

Pramaana collaborates with experts in various fields, including:
  • Former IRS commissioner Danny Werfel for tax law.
  • Professors from IIT Delhi, IIT Madras, and UC Berkeley for cybersecurity and drug discovery.
The company's approach draws inspiration from projects like France's CATALA, which formalizes the country's tax and benefit system into executable code.

The Future of AI Reliability

Pramaana's mission is to make AI systems more reliable and trustworthy by codifying rules and ensuring deterministic outcomes. As the company continues to develop its technology, it aims to address some of the world's most pressing challenges in areas where accuracy and reliability are crucial.