Pramaana Labs secures $27M for AI formal verification

Pramaana Labs has successfully raised $27 million in seed funding, led by Khosla Ventures, to address the critical need for reliability in enterprise AI applications. The startup aims to bring formal verification methods, traditionally used in computer science for ensuring correctness, to the AI domain. This approach is particularly crucial for sensitive sectors like law and drug discovery, where AI errors can have severe consequences. By combining large language models with deterministic verification techniques, Pramaana seeks to enhance the trustworthiness and accuracy of AI systems.