Pramaana Labs
AI that proves its work
San Francisco, United States · Founded 2025 · $27.0M raised
- Headquarters
- San Francisco
- Employees
- 1–10
- Founded
- 2025
- Business Model
- B2B
- Website
- pramaanalabs.ai
- Total Funding
- $27.0M
- Last Round
- $27.0M SeedJun 2026
- Rounds
- 1
Totals include recorded grants and other qualifying funding, not just equity. What counts toward funding.
Indexed holds 1 funding round and 4 investors for this company. The full record is or through the API.
About
Pramaana Labs is building the verification layer for AI by combining large language models with formal verification systems. The company translates complex domain knowledge — tax codes, clinical guidelines, legal statutes, and safety constraints — into machine-checkable logic using the LEAN proof language. Rather than producing fluent but probabilistic answers, Pramaana's systems provide traceable proofs, counterexamples, and explanations. Target domains include tax preparation, drug discovery, and legal work where a confident-sounding wrong answer carries the highest cost. The company offers a fellowship program (Project 1729) providing funding, compute credits, and embedded engineers for researchers formalizing high-stakes domains.
Summary
Pramaana Labs is an Artificial Intelligence company based in San Francisco, United States, founded in 2025. It has raised $27.0M in total across 1 round, most recently a $27.0M Seed round in Jun 2026. Investors include Khosla Ventures, Accel and Nexus Venture Partners.
Tech & App Stack
3 technologies & apps tracked
Every product and vendor across these categories, with where each signal came from.
Create a free account with 25 free credits every month, no card needed, to unlock the full tech & app stack, funding history, and valuations.
Funding History
Jun 2026
Investors
Similar Companies
OpenAI is an AI research and deployment company dedicated to ensuring that general-purpose artifi...
Anthropic develops reliable, interpretable, and steerable AI systems, translating frontier safety...
xAI builds AI systems, including Grok, with frontier reasoning, voice, and generative media capab...
Waymo is an autonomous driving technology company with a mission to make it safe and easy for peo...
Appears in
Your company? Embed this profile
Add the live badge to your site — it stays current as your funding data updates.
<a href="https://indexed.vc/companies/pramaana-labs"><img src="https://indexed.vc/api/badge/company/pramaana-labs" alt="Pramaana Labs on Indexed.vc" width="260" height="76" /></a>