Pramaana Labs is a frontier AI lab building the verification layer for high-stakes AI. We turn complex domain knowledge into machine-checkable systems that return proofs, counterexamples, and traceable explanations.
Location: United States
Total raised: $27M
Funding Rounds 1
| Date | Series | Amount | Investors |
| 18.06.2026 | - | $27M | Khosla Ven... |
Mentions in press and media 6
| Date | Title | Description |
| 19.06.2026 | Pramaana Labs Secures $27M for Verifiable AI | AI startup Pramaana Labs raised $27 million in seed funding. The company champions formal verification for AI systems. This technology ensures AI outputs are mathematically accurate. It targets highly regulated sectors. These include tax, h... |
| 18.06.2026 | Pramaana Labs raises $27 million to make AI more reliable in tax, healthcare and compliance | Pramaana Labs has raised $27 million in seed funding in a round led by Khosla Ventures, as it develops AI systems designed to make answers more reliable in high-stakes sectors. Advertisment The round also saw participation from Accel, BoldC... |
| 18.06.2026 | Pramaana Labs Raises $27M in Seed Funding | Pramaana Labs, a San Francisco, CA-based developer of a formal verification compiler platform for mission-critical artificial intelligence, raised $27m in seed funding. The round was led by Khosla Ventures, with participation from Founders ... |
| 17.06.2026 | AI Formal Verification Startup Pramaana Raises $27M: Proof Replaces Probability | By Jerry Owens Published: Jun 17 2026, 22:16 PM EDT Share on Facebook Share on Twitter Share on LinkedIn Share on Reddit Share on Flipboard |
| 17.06.2026 | Pramaana Labs raises $27M to make AI prove its answers | Formal verification startup Pramaana Labs Inc. today said it has raised $27 million in seed funding for a system it describes as a compiler for high-stakes artificial intelligence. The product checks an AI model’s answer against the rules o... |
| - | Pramaana Labs | “Pramaana Labs is a frontier AI lab building the verification layer for high-stakes AI. We turn complex domain knowledge into machine-checkable systems that return proofs, counterexamples, and traceable explanations.” |