Pramaana Labs Raises $27M Seed

Pramaana Labs, a startup focused on bringing formal verification to artificial intelligence, announced a $27 million seed round. The company aims to enhance the reliability of AI systems used in highly sensitive verticals such as law, drug discovery, and tax preparation.

Investors

This round was led by Khosla Ventures, with participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound.

Pramaana Labs Use of Funds

Pramaana Labs plans to use the new capital to build LEAN-style formal verification systems for specific high-stakes use cases, working alongside domain experts to codify complex rulesets into deterministic, verifiable AI outputs.

About Pramaana Labs

Founded to solve the problem of AI reliability, Pramaana Labs is led by co-founder and CEO Ranjan Rajagopalan. The company utilizes a hybrid approach that combines the flexibility of large language models with a deterministic verification layer based on the LEAN programming language to ensure AI reasoning adheres to codified rules and logic.

Funding Details

Company Website: https://pramaanalabs.ai

Company: Pramaana Labs
Raised: $27M
Round: Seed
Funding Date: June 17, 2026
Lead Investor: Khosla Ventures
Additional Investors: Accel, BoldCap, Nexus Venture Partners, Premji Invest, Unbound
Software Category: Artificial Intelligence
Source: https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai/