Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design

Abstract

Full Citation:

Hai Xia, Carla P. Gomes, Bart Selman, Stefan Szeider. Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design. Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026. (Note: To appear; preprint: CoRR abs/2603.08322, https://arxiv.org/abs/2603.08322)

Hai Xia

Hai Xia is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.