Reasearch

Research Interest

Broadly, my research lies at the intersection of theoretical computer science, operations research, and economics. My primary focus is on online optimization and mechanism design, particularly developing algorithms for dynamic resource allocation and decision-making under uncertainty in online markets.

More recently, I have been exploring AI for theoretical research—investigating how automated theorem-proving agents reason, and designing architectures that enable deeper, more general, and provably reliable mathematical thinking.

Publication

• Haoxin Sang, Bo Sun, Xiaoqi Tan, Beyond a Single Optimal Design: A Dynamical Systems Characterization of Online Allocation with Convex Costs, accepted to WINE 2026

• Haoxin Sang, Yingyi Wu, Some analytic results and applications in extremal Hermitian metrics*[J]. Journal of University of Chinese Academy of Sciences, DOI: 10.7523/j.ucas.2023.091.