Fundz

Pramaana Labs raises $27M seed round from Khosla Ventures to advance formal verification for AI in sensitive sectors.

PRIVATEJun 17, 2026

Amount Raised

$27 Million

Round Type

Seed

Artificial IntelligenceMachine LearningNatural Language Processing

Investors

AccelBoldcapNexus Venture PartnersPremji InvestUnboundKhosla Ventures

Description

Pramaana Labs has announced $27 million in seed funding led by Khosla Ventures, with support from Accel, Boldcap, Nexus Venture Partners, Premji Invest, and Unbound. The startup aims to enhance AI reliability in critical areas like law and drug discovery. Focusing on formal verification tools, Pramaana addresses issues related to AI hallucinations and errors. This funding will enable them to develop their unique system integrating LLMs with deterministic verification.

Quick answer

Pramaana Labs raised $27 Million in a Seed round, dated June 17, 2026. Investors: Accel, Boldcap, Nexus Venture Partners, Premji Invest, Unbound and Khosla Ventures.

How much did Pramaana Labs raise?
Pramaana Labs raised $27 Million in a Seed round on June 17, 2026.
Who invested in Pramaana Labs?
Accel, Boldcap, Nexus Venture Partners, Premji Invest, Unbound and Khosla Ventures are named as investors in this round.
What does Pramaana Labs do?
Pramaana Labs is a startup focused on applying formal verification to enhance the reliability of AI systems, particularly in highly sensitive fields such as law, drug discovery, and tax preparation.

Source: Fundz verified event record.

Who else raised in Natural Language Processing and Artificial Intelligence around the same time

Companies in the same sectors as Pramaana Labs that raised within 45 days of this round, from Fundz verified event records.

  • Encore AI raised $30M (Series A) on July 29, 2026.
  • CopySight raised $3M (Seed) on July 29, 2026.
  • Novum Studio raised an undisclosed amount on July 24, 2026.
  • Cast Insights raised $4.5M (Pre-Seed) on July 23, 2026.
  • kausable raised $14M (Seed) on July 23, 2026.
  • Datapizza raised $11M (Series A) on July 23, 2026.

Who to call at Pramaana Labs, and when

A new round usually means Pramaana Labs is about to hire and buy. The teams that reach out first get the meeting.

  • An alert the day Pramaana Labs raises, hires an executive or expands, scored against what you sell
  • The decision-makers there, with verified emails
  • Who you already know at Pramaana Labs, from your own LinkedIn network

Works inside ChatGPT and Claude. Ask who to call at Pramaana Labs. With Fundz connected, it knows.

Watch Fundz in
See plan options
Trusted byOracleSnowflakeCloudflareLinkedInGoogleSalesforce 4.8/5 on G2

Company Information

Company

Pramaana Labs

About

Pramaana Labs is a startup focused on applying formal verification to enhance the reliability of AI systems, particularly in highly sensitive fields such as law, drug discovery, and tax preparation. By integrating mathematical formalization with traditional AI, Pramaana aims to build systems that minimize errors and ensure the correctness of AI outputs in complex environments. Their unique approach utilizes the LEAN programming language to create verifiable models overseen by domain experts. The goal is to codify rules of various domains to tackle the world's hardest problems effectively.

AI made execution free. Knowing first is the whole game now.

Fundz sees it the moment Pramaana Labs raises, hires an exec or expands, usually minutes after it happens, and tells you who to reach.

Predictive Intelligence
Strategic

ML-powered predictions for Pramaana Labs's next move

See what Strategic adds

Pramaana Labs raised. Fundz records a round at a median of 3.6 minutes from the SEC filing, with the decision-maker attached.

145 of these a day, filtered to the companies you pick, with the decision-maker attached.

5 screens from a live account. No signup.

Fundz is a real-time business intelligence platform powered by agentic AI that proactively delivers personalized daily signals, including funding rounds, executive changes, M&A activity, 13F institutional filings, SEC 8-K events, investor activity, and website modifications, based on each user's watchlist and ICP. A trusted data source at firms such as BlackRock, Oracle, Kleiner Perkins, LinkedIn, HubSpot, and Cloudflare, Fundz democratizes the institutional-grade intelligence that previously required a PitchBook or Bloomberg terminal. Features include Daily Briefing for AI-powered daily briefings, and unified cross-signal alerts across 281,000+ organizations. Developers and data teams can access these signals programmatically via the Fundz Funding Data API, with transparent published pricing.