Xuheng Li

According to our database, Xuheng Li authored at least 11 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Dimension-Independent Convergence of Underdamped Langevin Monte Carlo in KL Divergence.

Shiyuan Zhang, Qiwei Di, Xuheng Li, Quanquan Gu

CoRR, March, 2026

Highly Automated Verification of Security Properties for Unmodified System Software.

Ganxiang Yang, Wei Qiang, Yi Rong, Xuheng Li, Fanqi Yu, Jason Nieh, Ronghui Gu

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

Variance-Aware Feel-Good Thompson Sampling for Contextual Bandits.

Xuheng Li, Quanquan Gu

CoRR, November, 2025

Best-of-Majority: Minimax-Optimal Strategy for Pass@<i>k</i> Inference Scaling.

Qiwei Di, Kaixuan Ji, Xuheng Li, Heyang Zhao, Quanquan Gu

CoRR, October, 2025

Understanding SGD with Exponential Moving Average: A Case Study in Linear Regression.

Xuheng Li, Quanquan Gu

CoRR, February, 2025

AutoVerus: Automated Proof Generation for Rust Code.

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu

Proc. ACM Program. Lang., 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

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Feel-Good Thompson Sampling for Contextual Dueling Bandits.

Xuheng Li, Heyang Zhao, Quanquan Gu

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Risk Bounds of Accelerated SGD for Overparameterized Linear Regression.

Xuheng Li, Yihe Deng, Jingfeng Wu, Dongruo Zhou, Quanquan Gu

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Spoq: Scaling Machine-Checkable Systems Verification in Coq.

Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2022

Design and Verification of the Arm Confidential Compute Architecture.

Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022