An index of frontier and emerging AI labs.
Reasoning agents
Categorical deep learning and structured-reasoning foundation models for code and mathematical theorem proving. Founded by ex-Tesla autopilot engineer George Morgan; $33M Series A led by Khosla.
| Name | Symbolica AI |
|---|---|
| Space | Reasoning agents |
| Founded | 2022 |
| Latest valuation | ~$150M(rumored) |
| Stage | — |
| Status | active |
| HQ | San Francisco |
| Founders | George Morgan |
| Website | https://www.symbolica.ai |
| Careers | https://www.symbolica.ai/careers |
| — | |
| X / Twitter | — |
| Date | Round | Amount ($M) | Valuation | Confidence | Source |
|---|---|---|---|---|---|
| — | — | — | ~$150M | reported | — |
No founders recorded yet. Submit info.
| Date | Type | Title | Source |
|---|---|---|---|
| 2026-06-14 | added | Symbolica AI added to tracker Latest valuation: ~$150M. | — |
No sources cited.
| Lab | Valuation | Founded |
|---|---|---|
| Imbue | $1B | 2020 |
| Logical Intelligence | — | — |
| NeoCognition | — | 2025 |