Bart Selman | AC Group | TU Wienhttps://ac.notready.eu/author/bart-selman/Bart SelmanHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngBart Selmanhttps://ac.notready.eu/author/bart-selman/Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Designhttps://ac.notready.eu/publication/agentic-neurosymbolic-collaboration-for-mathematical-discovery-a-case-study-in-combinatorial-design/Thu, 01 Jan 2026 00:00:00 +0000https://ac.notready.eu/publication/agentic-neurosymbolic-collaboration-for-mathematical-discovery-a-case-study-in-combinatorial-design/