---
title: "Pramaana Labs raises $27M to make AI verifiable"
url: https://daily.dev/posts/pramaana-labs-raises-27m-to-make-ai-verifiable-nxhavaunm
source_url: https://thenextweb.com/news/pramaana-labs-27m-seed-formal-verification-ai
type: article
source: "The Next Web"
published: 2026-06-18T13:48:12.085Z
updated: 2026-06-18T14:45:01.456Z
tags: ["llm"]
reading_time: 3
upvotes: 1
comments: 0
language: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# Pramaana Labs raises $27M to make AI verifiable

**[The Next Web](https://daily.dev/sources/tnw)** · 3 min read · 1 upvotes · 0 comments

## Summary

Pramaana Labs has raised $27M in seed funding led by Khosla Ventures to build AI systems with formal verification guarantees. The startup wraps conventional LLMs with a layer based on LEAN, an open-source formal proof language, to make AI reasoning deterministic rather than probabilistic. It targets high-stakes domains — law, tax, and drug discovery — where errors carry serious consequences. The company is codifying domain rules one vertical at a time, working with experts including former IRS commissioner Danny Werfel and professors from IIT Delhi, IIT Madras, and UC Berkeley.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://thenextweb.com/news/pramaana-labs-27m-seed-formal-verification-ai>

## Similar posts on daily.dev

- [Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI](https://daily.dev/posts/pramaana-labs-raises-27m-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai-k0ca7kequ) · TechCrunch · 0 upvotes · 0 comments
- [Probably raises $9M to build a more reliable kind of AI](https://daily.dev/posts/probably-raises-9m-to-build-a-more-reliable-kind-of-ai-mpymluh3i) · TechCrunch · 2 upvotes · 0 comments
- [Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog](https://daily.dev/posts/prediction-ai-will-make-formal-verification-go-mainstream-martin-kleppmann-s-blog-j1btzfnpe) · Lobsters · 2 upvotes · 0 comments
- [Lean4: How the theorem prover works and why it's the new competitive edge in AI](https://daily.dev/posts/lean4-how-the-theorem-prover-works-and-why-it-s-the-new-competitive-edge-in-ai-wirahwkig) · Hacker News · 2 upvotes · 0 comments

---

Tags: [#llm](https://daily.dev/tags/llm)

[View this post on daily.dev](https://daily.dev/posts/pramaana-labs-raises-27m-to-make-ai-verifiable-nxhavaunm)