Reasoning, math & verification · San Francisco, US · founded 2022
Symbolica: who founded it, who funds it
Symbolica is a San Francisco AI reasoning lab founded in 2022 by George Morgan, who came from Tesla. What it is building: category theory and type theory as the foundation of a symbolic reasoning engine. It has raised $33M in disclosed rounds, most recently a Series A of $33M in April 2024, led by Khosla Ventures. It has not released anything outsiders can use yet.
- Founders
- George Morgan (ex-Tesla)
- Founders from
- ex-Tesla
- Location
- San Francisco, US (North America)
- Valuation
- ·
- Raised
- $33M disclosed
- Investors
- Khosla Ventures lead, General Catalyst
- What ships
- Research only
Rounds
| Date | Round | Amount | Valuation | Lead | Source |
|---|---|---|---|---|---|
| Apr 9, 2024 | Series A | $33M | · | Khosla Ventures | venturebeat.com |
Sources
- Symbolica symbolica.ai
News
-
May 20, 2026
-
Apr 9, 2024
+1 more coverage
- TechCrunch Symbolica hopes to head off the AI arms race by betting on symbolic models
Investors who back other labs here
- Khosla Ventures also: General Intuition, Sakana AI, Genesis AI, Veeda AI
- General Catalyst also: Skild AI, General Intuition, River AI
Same research area
- Harmonic $1.45B · Palo Alto, US
- Axiom Math $1.6B · Palo Alto, US
- Logical Intelligence · · San Francisco, US
- Math Inc · · Palo Alto, US
- Ndea · · San Francisco, US