Pramaana Labs has raised a $27 million follow-on seed round from Khosla Ventures. The round was backed by Vinod Khosla, Kanu Gulati, and Khosla Ventures. Pramaana Labs is also a portfolio company of BoldCap.
Pramaana Labs is an AI research lab focused on auto-formalization and bringing deterministic outputs to real-world domains.
Auto-formalization is emerging as an important area in AI research because it involves translating informal human language, reasoning, and problem statements into formal structures that machines can verify and use more reliably.
The company’s work is focused on improving reliability and precision in AI outputs, especially for domains where deterministic results are important. This could support progress toward more dependable AI systems for complex reasoning and technical workflows.
Pramaana Labs is led by founders Ranjan Rajagopalan, Krishnan Raghavan, and Sanjay Ganapathy Subramaniam.
BoldCap’s Sathya Nellore Sampat said the company is working on what he described as a critical frontier for AI development and artificial superintelligence.
KEY QUOTES:
“Super excited to announce that Pramaana Labs, one of our portfolio companies has raised a $27M follow-on seed round from Vinod Khosla Kanu Gulati Khosla Ventures. Pramaana is an AI research lab focussed on auto-formalization, and bringing deterministic outputs to real world domains. Auto-formalization is the next critical frontier unlock towards ASI. Super fortunate to be partnering up with intellectually fearless entrepreneurs Ranjan Rajagopalan Krishnan Raghavan Sanjay Ganapathy Subramaniam.”
Sathya Nellore Sampat
