Home / Companies / Pramaana Labs

Pramaana Labs

Artificial Intelligence / Formal VerificationPalo Alto, United States; research presence in Bengaluru, India

Pramaana Labs builds a formal verification layer for AI. It converts statutes, regulations and scientific rules into machine-checkable logic using a LEAN-style proof system, so that outputs in high-stakes domains such as tax, law, finance and healthcare ship with mathematical proof of correctness rather than probabilistic confidence.

1StartupFox story
2025Founded
Artificial Intelligence / Formal VerificationSector
Jun 2026Latest coverage
Latest on Pramaana Labs
Funding
Pramaana Labs Raises $27 Million Seed Round Led by Khosla Ventures
18 JUN 2026 · 3 MIN READ
Also in AI & Deep Tech
Sherlocks.aiAI / IT Operations / SREDeepSeekArtificial IntelligenceTrueFan AIArtificial Intelligence / Creator Aadyah AerospaceAerospace & Defence / Spacetec
Frequently Asked
What is Pramaana Labs?
Pramaana Labs builds a formal verification layer for AI. It converts statutes, regulations and scientific rules into machine-checkable logic using a LEAN-style proof system, so that outputs in high-stakes domains such as tax, law, finance and healthcare ship with mathematical proof of correctness rather than probabilistic confidence.
Who founded Pramaana Labs?
Pramaana Labs is associated with Ranjan Rajagopalan, Krishnan Raghavan, Sanjay Ganapathy Subramaniam.
What is the latest news on Pramaana Labs?
The most recent StartupFox coverage is “Pramaana Labs Raises $27 Million Seed Round Led by Khosla Ventures” (18 June 2026). All stories are listed on this page.