Publications: Hai Xia
2026
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
Note: Preprint: CoRR abs/2501.17201, https://arxiv.org/abs/2501.17201
Proceedings of the International Conference on Automated Machine Learning, AutoML 2026, September 28 – October 1, 2026, Ljubljana, Slovenia, 2026.
Note: To appear
Note: To appear
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
Note: To appear; preprint: CoRR abs/2603.08322, https://arxiv.org/abs/2603.08322
2025
Computational Science - ICCS 2025 - 25th International Conference, Singapore, July 7-9, 2025, Proceedings, Part II (Michael H. Lees and Wentong Cai and Siew Ann Cheong and Yi Su and David Abramson and Jack J. Dongarra and Peter M. A. Sloot), volume 15904 of Lecture Notes in Computer Science, pages 35–49, 2025, Springer.
Computers \& Graphics, volume 126, pages 104115, 2025.
2024
2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), pages 371-378, 2024.
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 8191–8199, 2024, AAAI Press.
2019
J. Graph Algorithms Appl., volume 23, number 3, pages 463–498, 2019.
2018
Graph Drawing and Network Visualization (GD'18) (Biedl, Therese and Kerren, Andreas), volume 11282 of LNCS, pages 53–66, 2018, Springer International Publishing.