Back to all articles
•Technology

Pramaana Labs Secures $27M to Enhance AI Reliability with Formal Verification

View original source

Pramaana Labs, a new startup, is addressing the critical challenge of integrating AI pilot programs into reliable business solutions. The startup focuses on enhancing AI reliability using mathematical formalization tools.

  • On Wednesday, Pramaana Labs announced they have secured $27 million in seed funding led by Khosla Ventures, with participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound.
  • The funding will support projects in highly sensitive verticals such as law, drug discovery, and tax preparation, emphasizing the need for accuracy and reliability to prevent costly errors.
  • Ranjan Rajagopalan, co-founder and CEO, explained their approach by combining conventional Large Language Models (LLMs) with a deterministic verification layer. This ensures the validity of the AI's outcomes.
  • An innovative part of their system is using open-source LEAN programming language for formal verification, drawing parallels to France’s CATALA project which formalizes their tax system into executable code.
  • Pramaana collaborates with experts, including former IRS commissioner Danny Werfel for tax law and professors from IIT Delhi, IIT Madras, and UC Berkeley for cybersecurity and drug discovery.
  • Rajagopalan remarked, "The world’s hardest problems are not unsolvable. They are unformalized." Pramaana aims to codify rules where errors impact health, finances, or freedom.