Pramaana Labs Raises $27M to Build Formally Verified AI for High-Stakes Industries
AI reliability startup Pramaana Labs has raised $27 million in seed funding led by Khosla Ventures, with participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. The company is applying formal verification techniques to large language models, targeting industries where AI errors carry serious legal, financial, or medical consequences. Co-founder and CEO Ranjan […]