In detail
- $27M seed round led by Khosla Ventures with Accel, Boldcap, Nexus, Premji Invest and Unbound
- Hybrid approach: conventional LLM for natural language plus a deterministic verification layer built with LEAN‑style tools and overseen by domain experts
- Focus areas: tax, legal, drug discovery; collaborators include former IRS commissioner Danny Werfel
Why it matters
Deterministic verification layers can reduce costly AI errors in regulated or high‑risk business processes and make AI outputs auditable—valuable for enterprises seeking trustworthy automation.
For you If you apply AI in regulated workflows, insist on verifiable checks and explore vendors offering formal verification as part of their stack.