|
Haoyu Li
I'm a second-year CS PhD student at UIUC, where I am fortunate to be advised by Prof. Huan Zhang. Previously, I received my bachelor's degree in mathematics from UCLA, where I am grateful to have worked with Prof. Cho-Jui Hsieh and Prof. Yizhou Sun.
My research spans machine learning, with a focus on learning-based control and its formal verification. More recently, I've also been exploring the reasoning capabilities and safety of foundation models.
Email /
CV /
Google Scholar /
Github /
Linkedin
|
|
Selected Publications & Preprints
General Machine Learning
-
On The Fragility of Benchmark Contamination Detection in Reasoning Models
Han Wang*, Haoyu Li*, Brian Ko*, Huan Zhang,
Arxiv 2025
-
DecepChain: Inducing Deceptive Reasoning in Large Language Models
Wei Shen*, Han Wang*, Haoyu Li*, Huan Zhang,
Arxiv 2025
-
Learning a Zeroth-Order Optimizer for Fine-tuning LLMs
Kairun Zhang*, Haoyu Li*, Yanjun Zhao*, Yifan Sun, Huan Zhang,
Arxiv 2025
-
Data Attribution for Diffusion Models: Timestep-induced Bias in Influence Estimation
Tong Xie*, Haoyu Li*, Andrew Bai, Cho-Jui Hsieh,
TMLR 2024
-
Predicting and Interpreting Energy Barriers of Metallic Glasses with Graph
Neural Networks
Haoyu Li*, Shichang Zhang*, Longwen Tang, Matthiu Bauchy, Yizhou Sun,
ICML 2024
Learning based Control & Verification
-
Two-Stage Learning of Stabilizing Neural Controllers via Zubov
Sampling and Iterative Domain Expansion
Haoyu Li*, Xiangru Zhong*, Bin Hu, Huan Zhang,
NeurIPS 2025 (Spotlight)
-
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation
Mohamed Serry*, Haoyu Li*, Ruikun Zhou*, Huan Zhang, Jun Liu,
CDC 2025
-
Neural Contraction Metrics with Formal Guarantees
for Discrete-Time Nonlinear Dynamical Systems
Haoyu Li*, Xiangru Zhong*, Bin Hu, Huan Zhang,
L4DC 2025
* indicates these authors contributed equally to this work.
|
|
Conference Reviewer: ICLR 2025-2026, NeurIPS 2025, L4DC 2025
|
- First place of VNNCOMP 2025 for both regular and extended track. Member of team alpha-beta-CROWN.
|
|