Logical Intelligence
Undisclosed
Valuation not disclosed
Energy-based reasoning models and formal-verification agents that enforce constraints and produce machine-checkable answers for critical systems.
- Founded
- 2025
- Research area
- AI for math & science — Agents, Math
- Headquarters
- San Francisco, United States
Founders
- Eve Bodnia — previously UC Santa Barbara