BEYOND PATTERN MATCHING
Current state-of-the-art models do not directly incorporate code execution as a first class primitive at the architectural level. In order to build a general purpose reasoning engine we must combine symbolic and neural intelligence within the architecture itself. We believe this is the most important outstanding problem in artificial intelligence research. Several fundamental breakthroughs are required to achieve this goal.
Our Thesis
Applied Category Theory
Symbolica is a pioneering AI research lab founded in 2022. We are a team of software engineers and mathematicians leveraging a form of abstract mathematics, known as category theory, to deliver exceptional breakthroughs in modern artificial intelligence research.
PRODUCT
Introducing Agentica

Agentica provides agents with the ability to iteratively decompose, investigate, and dynamically solve problems by equipping them with the single most expressive mechanism: arbitrary code execution.
Leveraging types and composition, two of the fundamental building blocks of category theory, we enable users to build multi-agent systems that deliver state of the art performance on top of any model.
San Francisco & London
Careers
Symbolica is a world-class team of researchers and engineers, with offices in San Francisco and London.
We are united by deep experience in building mathematically grounded AI systems, bringing experience from leading institutions and companies including Tesla AI, Meta, HFT Funds, Snap Research, TikTok, Wolfram, Imperial College London, Cambridge, and Oxford.