Cross-Sector entity
Accel is the most frequent co-covered peer, appearing in 3 of the 3 tracked stories. ai-models accounts for 1 of the 3 tracked stories, while 2 other categories carry the remainder. The tracked stories average 2 original sources each. Krishnan Raghavan appears in 3 tracked Cross-Sector stories from 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.
Accel is the most frequent co-covered peer, appearing in 3 of the 3 tracked stories. ai-models accounts for 1 of the 3 tracked stories, while 2 other categories carry the remainder. The tracked stories average 2 original sources each. Krishnan Raghavan appears in 3 tracked Cross-Sector stories from 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 Krishnan Raghavan. 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.
