An index of frontier and emerging AI labs.
Reasoning agents
Formal-verification AI for critical systems. CEO Eve Bodnia; Yann LeCun joined as research board chair Jan 2026.
| Name | Logical Intelligence |
|---|---|
| Space | Reasoning agents |
| Founded | — |
| Latest valuation | — |
| Stage | — |
| Status | active |
| HQ | — |
| Founders | Eve Bodnia |
| Website | https://logicalintelligence.com |
| Careers | — |
| — | |
| X / Twitter | — |
No funding events recorded.
No founders recorded yet. Submit info.
| Date | Type | Title | Source |
|---|---|---|---|
| 2026-06-03 | added | Logical Intelligence added to tracker | — |
No sources cited.
| Lab | Valuation | Founded |
|---|---|---|
| Imbue | $1B | 2020 |
| NeoCognition | ~$200M | 2025 |
| Symbolica AI | ~$150M | 2022 |