Get started
Author

Hai Xia

Observed name: Xia, Hai
Institution: TU Wien
Observed institution: TU Wien
OpenAlex ID: A5128652176
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
2026 · Xia, Hai, Gomes, Carla P., et al. · arXiv (Cornell University) · 4
PDF
Post-Pruning vs. Early Stopping: Which Works Better for Link Prediction with AnyBurl?
2026 · Eiter, Thomas, Soldà, Davide, et al. · arXiv (Cornell University)
PDF
Erdős-Gyárfás Balanced Five-Colorings
2026 · Xia, Hai, Szeider, Stefan · arXiv (Cornell University)
PDF
SqueezeBench: Saturation-Resilient Evaluation of Mathematical Capability
2026 · Manrique, Pablo, Xia, Hai, et al. · arXiv (Cornell University)
PDF
Synthesizing Feature Extractors: An Agentic Approach for Algorithm Selection
2026 · Xia, Hai, Ansótegui, Carlos, et al. · arXiv (Cornell University)
PDF
LLM-Guided Graph Generation for Structure-Based Local Improvement Methods
2026 · Xia, Hai, Ramaswamy, Vaidyanathan Peruvemba, et al. · arXiv (Cornell University)
PDF
Works count: 6
Citation count: 4
H-index: 1
I10-index:
Year
Topic
Type