14:38
2026-06-17
runtimewire.com
artificial-intelligence
Pramaana Labs raises $27M seed to make AI prove its work
Pramaana Labs, an AI startup founded by Ranjan Rajagopalan, raised $27 million in seed funding led by Khosla Ventures to develop formal verification systems for large language models. The company targ…