@inproceedings{XiaGSS26,
 address = {Lisbon, Portugal},
 author = {Hai Xia and
Carla P. Gomes and
Bart Selman and
Stefan Szeider},
 booktitle = {Proceedings of the 20th Conference on Neurosymbolic Learning
and Reasoning (NeSy 2026)},
 keywords = {coe, cofund},
 note = {To appear; preprint: CoRR abs/2603.08322, {https://arxiv.org/abs/2603.08322}},
 title = {Agentic Neurosymbolic Collaboration for Mathematical Discovery:
{A} Case Study in Combinatorial Design},
 year = {2026}
}