Publications: Hai Xia
2026
| [1] | 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 |
| [2] | LLM-Guided Graph Generation for Structure-Based Local Improvement Methods 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 |
| [3] | Smart Cubing for Graph Search: A Comparative Study 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 |
| [4] | Synthesizing Feature Extractors: An Agentic Approach for Algorithm Selection 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 |
2025
| [1] | An Introduction to and Survey of Biological Network Visualization Computers \& Graphics, volume 126, pages 104115, 2025. |
| [2] | Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach 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. |
2024
| [1] | SAT-Based Tree Decomposition with Iterative Cascading Policy Selection 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. |
| [2] | The Power of Collaboration: Learning Large Bayesian Networks at Scale 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), pages 371-378, 2024. |
2019
| [1] | Short Plane Supports for Spatial Hypergraphs J. Graph Algorithms Appl., volume 23, number 3, pages 463–498, 2019. |
2018
| [1] | Short Plane Supports for Spatial Hypergraphs Graph Drawing and Network Visualization (GD'18) (Therese Biedl, Andreas Kerren, eds.), volume 11282 of LNCS, pages 53–66, 2018, Springer International Publishing. |
AC Admin
Website maintainer