Symbolica is an AI research lab focused on category theory for symbolic reasoning
Symbolica is an AI research lab focused on category theory for symbolic reasoning. It develops general-purpose program synthesis engines.