Xuheng Li

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Regression Methods

Sampling Strategies

Top Venues

Publications

Xuheng Li, Yihe Deng, Jingfeng Wu, Dongruo Zhou, Quanquan Gu
Risk Bounds of Accelerated SGD for Overparameterized Linear Regression. ICLR (2024)
Xuheng Li, Heyang Zhao, Quanquan Gu
Feel-Good Thompson Sampling for Contextual Dueling Bandits. CoRR (2024)
Xuheng Li, Yihe Deng, Jingfeng Wu, Dongruo Zhou, Quanquan Gu
Risk Bounds of Accelerated SGD for Overparameterized Linear Regression. CoRR (2023)
Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh
Spoq: Scaling Machine-Checkable Systems Verification in Coq. OSDI (2023)
Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell
Design and Verification of the Arm Confidential Compute Architecture. OSDI (2022)