Symbolica is an AI research lab pioneering the application of category theory to enable logical reasoning in machines. We’re a well-resourced, nimble team of experts on a mission to bridge the gap between theoretical mathematics and cutting-edge AI, creating symbolic reasoning models that think like humans – precise, logical, and interpretable.
Explore similar companies to Symbolica

Edra
Building agents that reverse engineer process.
AI · Series A · Onsite · Based in New York

Axiom (Math)
Verified AI prover.
AI · Series A · Onsite · Based in San Francisco

Arena AI
Foundational intelligence for modern hardware.
AI · Series B · Onsite · Based in New York

Sandbar
An interface company.
AI · Series A · Onsite · Based in New York

Legora
AI workspace for lawyers.
AI · Series D · Onsite · Based in Stockholm

AMI Labs
Real World. Real Intelligence.
AI · Seed · Onsite · Based in Paris

Lio
The world’s first multi-agent system for procurement
AI · Series A · Onsite · Based in Munich

The Sentience Company
Emulating the mind.
AI · Seed · Onsite · Based in New York

Bretton AI
Trusted AI agents for financial crime.
AI · Series B · Onsite · Based in San Francisco
Industries
Investors
Cities






