Hao Su

About

I am a second-year graduate student in CS at the School of Intelligence Science and Technology, Nanjing University. I received my bachelor's degree in CS from the School of Computer Science and Technology, Shandong University in June 2024.

I am interested in neural-symbolic AI and TCS.

Personal Notes

• Combinatorial Optimization (in progress)
• Theory of Computation
• Mathematical Logic
• Linear Algebra
• Matrix Analysis

Recent Presentations

• Non-Emptiness for UHATs Is EXPSPACE-Hard    July 3, 2026
• (Part of the) Preliminaries for NN Expressiveness    July 1, 2026
• Learning to Branch: Generalization Guarantees and Limits of Data-Independent Discretization    June 10, 2026