Accel

The Device That Remembers So You Don’t Have To: Our Investment in Pocket

Portfolio News: Accel announces investment in Pocket, a device that remembers so you don't have to.

Pramaana Labs Raises $27M Seed for Formal Verification AI

Pramaana Labs announced a $27 million seed round led by Khosla Ventures with participation from Accel, BoldCap, Nexus Venture Partners, Premji Invest, and Unbound. The startup combines conventional large language models (LLMs) with a deterministic, formal-verification layer inspired by the LEAN proof assistant to improve reliability in high-risk verticals such as law, drug discovery, and tax preparation. Pramaana will build domain-specific LEAN-style verification systems overseen by subject-matter experts; the company is working with former IRS commissioner Danny Werfel on its tax-law work and has academic oversight for cybersecurity and drug discovery from professors at IIT Delhi, IIT Madras, and UC Berkeley. Ranjan Rajagopalan is co-founder and CEO. The funding aims to accelerate enterprise-grade, verifiable AI deployments where errors carry high cost.

VC Chi‑Hua Chien: AI Winners Won't Sell AI

Chi‑Hua Chien, co‑founder of Goodwater Capital and an early Accel associate who discovered The Facebook, argues that the AI market is shifting: the foundational model layer is becoming commoditized and the biggest commercial winners will be applications that embed AI rather than companies that primarily sell models. Chien predicts the gap between frontier cloud models and models that can run locally on phones has narrowed from years to roughly six months and could fall to about three months within a year. He emphasizes hyper‑personalization as the key differentiator for consumer products, and highlights consumer- and supply-constrained use cases (e.g., women’s health at MIDI/Midi Health, live experiences via Fever and Bump) where AI expands capacity and drives engagement and monetization. He also notes price competition among major platform players such as Google.