Pramaana Labs announced its $27 million seed funding on Wednesday.

The funding, led by Khosla Ventures, will be used to develop formal verification for AI systems, particularly in sensitive industries like law, drug discovery, and tax preparation. Pramaana Labs' approach combines the flexibility of large language models (LLMs) with the determinism of formal verification, ensuring that AI outputs are reliable and error-free.

Pramaana Labs' co-founder and CEO, Ranjan Rajagopalan, emphasizes the importance of formal verification in high-stakes industries. "It's like math in the sense that you have a lot of rules that you need to abide by," Rajagopalan says, drawing an analogy between the tax code and mathematical systems. By codifying these rules and applying formal verification, Pramaana Labs aims to create AI systems that are not only powerful but also trustworthy.

The company's system uses a conventional LLM engine, which provides the flexibility to answer natural language questions and tackle complex problems. However, Pramaana Labs adds a deterministic layer on top of the LLM, ensuring that the outputs are verified and accurate. This approach is inspired by the open-source LEAN programming language, which is used to verify mathematical proofs. By leveraging formal verification, Pramaana Labs can provide a higher level of reliability and accuracy in AI outputs.

Pramaana Labs' unique approach has attracted the attention of prominent investors, including Khosla Ventures, Accel, Boldcap, Nexus Venture Partners, Premji Invest, and Unbound. The company plans to use the funding to develop its technology and expand its team. With its focus on formal verification, Pramaana Labs is poised to make a significant impact in the AI industry, particularly in high-stakes applications where reliability is paramount.

One of the key challenges in developing reliable AI systems is the lack of formalization in many domains. As Rajagopalan notes, "The world's hardest problems are not unsolvable. They are unformalized." By codifying the rules and regulations in various industries, Pramaana Labs can create AI systems that are not only powerful but also trustworthy. The company is working with domain experts, including former IRS commissioner Danny Werfel, to develop formal verification systems for tax law and other industries.

The implications of Pramaana Labs' technology are far-reaching. In the field of drug discovery, for example, AI systems can be used to identify potential drug candidates and predict their efficacy. However, the accuracy of these predictions is critical, as incorrect results can have serious consequences. By applying formal verification to AI systems in drug discovery, Pramaana Labs can help ensure that the results are reliable and accurate.

Similarly, in the field of tax preparation, AI systems can be used to automate tax returns and identify potential errors. However, the complexity of tax laws and regulations requires a high level of accuracy and reliability. Pramaana Labs' formal verification technology can help ensure that AI systems in tax preparation are trustworthy and accurate, reducing the risk of errors and penalties.

Pramaana Labs' technology also has significant implications for the broader AI industry. As AI systems become increasingly pervasive in various industries, the need for reliability and accuracy becomes more critical. By developing formal verification technology, Pramaana Labs is helping to address this need and create a new standard for AI reliability.

In conclusion, Pramaana Labs' $27 million seed funding is a significant milestone in the development of formal verification for AI systems. The company's unique approach, which combines the flexibility of LLMs with the determinism of formal verification, has the potential to revolutionize the AI industry, particularly in high-stakes applications. As Pramaana Labs continues to develop its technology and expand its team, it is poised to make a significant impact in the AI industry and beyond.