Hao Su

About

I am a computer science graduate student at Nanjing University. I received my bachelor's degree in computer science from Shandong University in 2024. My research interest is neural-symbolic AI.

Personal Notes

In Progress

• Algebra
• Probability and Computing

On Hold

• Combinatorial Optimization
• Linear Algebra
• Mathematical Logic
• Matrix Analysis
• Theory of Computation

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