Publications: Hai Xia

⬅️


2026

[1]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
[bibtex]
[2]LLM-Guided Graph Generation for Structure-Based Local Improvement Methods
Hai Xia, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026.
Note: To appear; preprint: CoRR abs/2608.13333, https://arxiv.org/abs/2608.13333
[bibtex]
[3]Smart Cubing for Graph Search: A Comparative Study
Markus Kirchweger, Tomás Peitl, Stefan Szeider, Hai Xia
32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, July 20–23, 2026, Lisbon, Portugal, volume 379 of LIPIcs, pages 33:1–33:19, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: Preprint: CoRR abs/2501.17201, https://arxiv.org/abs/2501.17201
[bibtex] [pdf] [doi]
[4]Synthesizing Feature Extractors: An Agentic Approach for Algorithm Selection
Hai Xia, Carlos Ansótegui, Stefan Szeider
Proceedings of the International Conference on Automated Machine Learning, AutoML 2026, September 28 – October 1, 2026, Ljubljana, Slovenia, 2026.
Note: To appear; preprint: CoRR abs/2608.17170, https://arxiv.org/abs/2608.17170
[bibtex]

2025

[1]Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach
Carlos Ansótegui, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai Xia
Computational Science - ICCS 2025 - 25th International Conference, Singapore, July 7-9, 2025, Proceedings, Part II (Michael H. Lees, Wentong Cai, Siew Ann Cheong, Yi Su, David Abramson, Jack J. Dongarra, Peter M. A. Sloot, eds.), volume 15904 of Lecture Notes in Computer Science, pages 35–49, 2025, Springer.
[bibtex] [pdf] [doi]

2024

[1]Learning to search promising regions by space partitioning for evolutionary methods
Hai Xia, Changhe Li, Qingshan Tan, Sanyou Zeng, Shengxiang Yang
Swarm Evol. Comput., volume 91, pages 101726, 2024.
[bibtex] [pdf] [doi]
[2]SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
Hai Xia, Stefan Szeider
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy, Sriraam Natarajan, eds.), pages 8191–8199, 2024, AAAI Press.
[bibtex] [pdf] [doi]
[3]The Power of Collaboration: Learning Large Bayesian Networks at Scale
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai Xia
2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), pages 371-378, 2024.
[bibtex] [doi]

2022

[1]Learning to Search Promising Regions by a Monte-Carlo Tree Model
Hai Xia, Changhe Li, Sanyou Zeng, Qingshan Tan, Junchen Wang, Shengxiang Yang
IEEE Congress on Evolutionary Computation, CEC 2022, Padua, Italy, July 18-23, 2022, pages 1–8, 2022, IEEE.
[bibtex] [pdf] [doi]

2021

[1]A Novel Scalable Framework For Constructing Dynamic Multi-objective Optimization Problems
Qingshan Tan, Changhe Li, Hai Xia, Sanyou Zeng, Shengxiang Yang
IEEE Congress on Evolutionary Computation, CEC 2021, Kraków, Poland, June 28 - July 1, 2021, pages 111–118, 2021, IEEE.
[bibtex] [pdf] [doi]
[2]A Reinforcement-Learning-Based Evolutionary Algorithm Using Solution Space Clustering For Multimodal Optimization Problems
Hai Xia, Changhe Li, Sanyou Zeng, Qingshan Tan, Junchen Wang, Shengxiang Yang
IEEE Congress on Evolutionary Computation, CEC 2021, Kraków, Poland, June 28 - July 1, 2021, pages 1938–1945, 2021, IEEE.
[bibtex] [pdf] [doi]