Pramaana Labs

Summary active Updated Jun 18, 2026

This profile is AI-generated. If you spot an error, please help us fix it by sharing a URL to the correct information.

Location Palo Alto, CA
Founded 2025
Latest Stage Seed
Total Raised $27M
Sector
ai-ml formal-verification enterprise-ai

Investors

khosla-ventures seed (2026)
accel seed (2026)
Khosla Ventures seed (2026)
Accel seed (2026)

Founders

Ranjan Rajagopalan Co-Founder & CEO
Krishnan Raghavan Co-Founder
Sanjay Ganapathy Co-Founder

About

Pramaana Labs is a Palo Alto-based AI startup founded in 2025 by IIT Madras alumni Ranjan Rajagopalan (CEO; previously led Google Maps Moderation), Krishnan Raghavan (previously worked on Glean Assistant at Glean), and Sanjay Ganapathy (formerly staff research engineer at Google DeepMind, where he contributed to the Gemini family of models) 12. The company combines large language models with deterministic formal verification layers — using the LEAN programming language — to ensure mathematically verifiable AI outputs in high-stakes domains including law, drug discovery, and tax preparation 13. Domain experts collaborating with the company include former IRS Commissioner Danny Werfel, with academic input from professors at IIT Delhi, IIT Madras, and UC Berkeley 1.

Funding History

Date Round Amount Lead Co-investors
2026-06-17 Seed $27M Khosla Ventures Accel, BoldCap, Nexus Venture Partners, Premji Invest, Unbound; angels Pushmeet Kohli (Google DeepMind), Sriram Rajamani (Microsoft) 123

What Investors Say

No independently sourced investor quotes found at announcement.

What Founders Say

“It’s like math in the sense that you have a lot of rules that you need to abide by. Once you have a codified version of it, the reasoning on top of it starts becoming deterministic.” — Ranjan Rajagopalan, CEO and co-founder, TechCrunch, June 17, 2026 1

Sources

  1. TechCrunch, “Pramaana Labs raises $27 million seed round from Khosla Ventures to bring formal verification to AI,” June 17, 2026. Accessed June 2026. https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai/↩↩↩↩↩

  2. YourStory, “AI startup Pramaana Labs secures $27M in seed funding round led by Khosla Ventures,” June 17, 2026. Accessed June 2026. https://yourstory.com/ai-story/ai-startup-pramaana-labs-seed-funding-led-by-khosla-ventures↩↩

  3. DealStreetAsia, “Indian AI startup Pramaana Labs raises $27m funding led by Khosla Ventures,” June 17, 2026. Accessed June 2026. https://www.dealstreetasia.com/stories/pramaana-labs-khosla-ventures-486015↩↩