Cross-Sector entity
Pramaana Labs is most often covered alongside Accel, which appears in 3 of these 3 stories. ai-models accounts for 1 of the 3 tracked stories, while 2 other categories carry the remainder. Each carries 2 original sources on average. We currently track 3 Cross-Sector stories that mention Pramaana Labs, all published on June 18, 2026.
3 verified stories tracked
Last mentioned: Jun 18, 2026
Entity pulse
Coverage balance Positive coverage leads. Positive coverage exceeds negative coverage by 100 percentage points.
Figures are computed live from our source-verified story record — see our methodology for how impact and sentiment are derived.
Pramaana Labs is most often covered alongside Accel, which appears in 3 of these 3 stories. ai-models accounts for 1 of the 3 tracked stories, while 2 other categories carry the remainder. Each carries 2 original sources on average. We currently track 3 Cross-Sector stories that mention Pramaana Labs, all published on June 18, 2026.
Computed from the 3 stories linked to this entity. Beat comparisons are omitted because no baseline was available for this window.
Coverage cohort
Other entities that clear the same relevance threshold in stories also covering Pramaana Labs. Shared-story counts are live from our verified record — not editorial picks.
With a $27M seed round co-led by Khosla Ventures, Accel, and other top VCs, Pramaana Labs is carving out a new category—AI formal verification—that addresses the trust crisis in enterprise AI by mathematically proving every answer.
Pramaana Labs' $27M seed round fuels a formal verification AI that converts regulations into machine-checkable proofs, promising zero confident errors for tax, clinical, and compliance domains—a potential paradigm shift for legal tech.
Pramaana Labs raised $27M to scale an AI that uses formal verification and proof engines—not probabilistic language models—to deliver answers with mathematical certainty, targeting domains where errors are unacceptable.
