Symbolica AI позиционирует себя как исследовательскую лабораторию в области искусственного интеллекта, с фокусом на применении теории категорий и теории типов для проектирования архитектур, способных к структурированному рассуждению.
В их исследовательской программе заявлена цель разработки универсального движка синтеза программ, построенного с нуля на собственной «не LLM» категориальной архитектуре. Также описывается идея объединения надежности символического исполнения программ с адаптивностью нейронной оптимизации, при опоре на язык теории категорий.
В качестве базового направления они выделяют синтез программ и доказательство теорем, отмечая, что общий движок синтеза программ или достаточно продвинутый доказатель может быть настроен для решения разных задач комбинаторной оптимизации
