Home / Founders / Krishnan Raghavan
Krishnan Raghavan
Co-founder
Pramaana Labs
Why watch
Raghavan is trying to make mission-critical AI refuse an answer when it cannot prove the rules still hold.
Krishnan Raghavan is a co-founder of Pramaana Labs alongside Sanjay Subramaniam and Ranjan Rajagopalan. The company raised $27 million led by Khosla Ventures to bring formal verification into AI systems used for tax, legal, and scientific work.
Provers for everyday regulated work
Pramaana's blogs argue that high-stakes domains need machine-checkable models, not only larger LLMs. The team writes about everyday provers and audit-defensible tax optimization.
Khosla-led seed
June 2026 coverage centers on a $27 million seed led by Khosla Ventures, one of the larger seeds on this startups table, aimed at a compiler-like layer for verified AI.