Li, Xuheng

5 publications

ICLR 2025 Automated Proof Generation for Rust Code via Self-Evolution Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K Lahiri, Tao Xie, Lidong Zhou

NeurIPS 2025 Variance-Aware Feel-Good Thompson Sampling for Contextual Bandits Xuheng Li, Quanquan Gu

ICML 2024 Feel-Good Thompson Sampling for Contextual Dueling Bandits Xuheng Li, Heyang Zhao, Quanquan Gu

ICLR 2024 Risk Bounds of Accelerated SGD for Overparameterized Linear Regression Xuheng Li, Yihe Deng, Jingfeng Wu, Dongruo Zhou, Quanquan Gu

NeurIPSW 2023 Risk Bounds of Accelerated SGD for Overparameterized Linear Regression Xuheng Li, Yihe Deng, Jingfeng Wu, Dongruo Zhou, Quanquan Gu