Zhao, Haoyu
24 publications
NeurIPS
2025
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
NeurIPS
2022
BEER: Fast $O(1/T)$ Rate for Decentralized Nonconvex Optimization with Communication Compression
NeurIPS
2022
Coresets for Vertical Federated Learning: Regularized Linear Regression and $k$-Means Clustering