Bart Selman

Recent Publications

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
Hai Xia, Carla P. Gomes, Bart Selman, Stefan Szeider
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
bib Project Project