Zhao, Haoyu

27 publications

ICLR 2026 Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

ICLR 2026 ReFocusEraser: Refocusing for Small Object Removal with Robust Context-Shadow Repair Qingping Zheng, Bo Huang, Yang Liu, Haoyu Zhao, Ling Zheng, Zengmao Wang, Ying Li, Jiankang Deng

TMLR 2026 Unrealized Expectations: Comparing AI Methods vs Classical Algorithms for Maximum Independent Set Yikai Wu, Haoyu Zhao, Sanjeev Arora

NeurIPS 2025 AlgoTune: Can Language Models Speed up General-Purpose Numerical Programs? Ori Press, Brandon Amos, Haoyu Zhao, Yikai Wu, Samuel Ainsworth, Dominik Krupke, Patrick Kidger, Touqir Sajed, Bartolomeo Stellato, Jisun Park, Nathanael Bosch, Eli Meril, Albert Steppi, Arman Zharmagambetov, Fangzhao Zhang, David Pérez-Piñeiro, Alberto Mercurio, Ni Zhan, Talor Abramovich, Kilian Lieret, Hanlin Zhang, Shirley Huang, Matthias Bethge, Ofir Press

NeurIPS 2025 Coresets for Clustering Under Stochastic Noise Lingxiao Huang, Zhize Li, Nisheeth K. Vishnoi, Runkai Yang, Haoyu Zhao

CVPR 2025 EDEN: Enhanced Diffusion for High-Quality Large-Motion Video Frame Interpolation Zihao Zhang, Haoran Chen, Haoyu Zhao, Guansong Lu, Yanwei Fu, Hang Xu, Zuxuan Wu

ICCV 2025 GaussianProperty: Integrating Physical Properties to 3D Gaussians with LMMs Xinli Xu, Wenhang Ge, Dicong Qiu, ZhiFei Chen, Dongyu Yan, Zhuoyun Liu, Haoyu Zhao, Hanfeng Zhao, Shunsi Zhang, Junwei Liang, Ying-Cong Chen

NeurIPS 2025 Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora

ICCV 2025 PhysSplat: Efficient Physics Simulation for 3D Scenes via MLLM-Guided Gaussian Splatting Haoyu Zhao, Hao Wang, Xingyue Zhao, Hao Fei, Hongqiu Wang, Chengjiang Long, Hua Zou

ICML 2024 Adversarial Attacks on Combinatorial Multi-Armed Bandits Rishab Balasubramanian, Jiawei Li, Prasad Tadepalli, Huazheng Wang, Qingyun Wu, Haoyu Zhao

NeurIPS 2024 Can Models Learn Skill Composition from Examples? Haoyu Zhao, Simran Kaur, Dingli Yu, Anirudh Goyal, Sanjeev Arora

ICMLW 2024 Can Models Learn Skill Composition from Examples? Haoyu Zhao, Simran Kaur, Dingli Yu, Anirudh Goyal, Sanjeev Arora

NeurIPSW 2024 Can Models Learn Skill Composition from Examples? Haoyu Zhao, Simran Kaur, Dingli Yu, Anirudh Goyal, Sanjeev Arora

NeurIPS 2024 Keeping LLMs Aligned After Fine-Tuning: The Crucial Role of Prompt Templates Kaifeng Lyu, Haoyu Zhao, Xinran Gu, Dingli Yu, Anirudh Goyal, Sanjeev Arora

ICLRW 2024 Keeping LLMs Aligned After Fine-Tuning: The Crucial Role of Prompt Templates Kaifeng Lyu, Haoyu Zhao, Xinran Gu, Dingli Yu, Anirudh Goyal, Sanjeev Arora

ECCV 2024 MagDiff: Multi-Alignment Diffusion for High-Fidelity Video Generation and Editing Haoyu Zhao, Tianyi Lu, Jiaxi Gu, Xing Zhang, Qingping Zheng, Zuxuan Wu, Hang Xu, Yu-Gang Jiang

NeurIPSW 2023 Do Transformers Parse While Predicting the Masked Word? Haoyu Zhao, Abhishek Panigrahi, Rong Ge, Sanjeev Arora

ICCV 2023 Ref-NeuS: Ambiguity-Reduced Neural Implicit Surface Learning for Multi-View Reconstruction with Reflection Wenhang Ge, Tao Hu, Haoyu Zhao, Shu Liu, Ying-Cong Chen

ICML 2023 Task-Specific Skill Localization in Fine-Tuned Language Models Abhishek Panigrahi, Nikunj Saunshi, Haoyu Zhao, Sanjeev Arora

NeurIPS 2022 BEER: Fast $O(1/T)$ Rate for Decentralized Nonconvex Optimization with Communication Compression Haoyu Zhao, Boyue Li, Zhize Li, Peter Richtarik, Yuejie Chi

NeurIPS 2022 Coresets for Vertical Federated Learning: Regularized Linear Regression and $k$-Means Clustering Lingxiao Huang, Zhize Li, Jialin Sun, Haoyu Zhao

NeurIPS 2022 SoteriaFL: A Unified Framework for Private Federated Learning with Communication Compression Zhize Li, Haoyu Zhao, Boyue Li, Yuejie Chi

UAI 2021 Combinatorial Semi-Bandit in the Non-Stationary Environment Wei Chen, Liwei Wang, Haoyu Zhao, Kai Zheng

ICML 2020 Combinatorial Pure Exploration for Dueling Bandit Wei Chen, Yihan Du, Longbo Huang, Haoyu Zhao

AAAI 2020 Gradient Method for Continuous Influence Maximization with Budget-Saving Considerations Wei Chen, Weizhong Zhang, Haoyu Zhao

AAAI 2020 Online Second Price Auction with Semi-Bandit Feedback Under the Non-Stationary Setting Haoyu Zhao, Wei Chen

ECML-PKDD 2019 Stochastic One-Sided Full-Information Bandit Haoyu Zhao, Wei Chen