Li, Xuheng
- AutoVerus: Automated Proof Generation for Rust Code
2024/09/19 by Chenyuan Yang, Yang, Chenyuan, X. Li +23 · 17 citations
Agricultural and Biological Sciences · Engineering · #Plant Surface Properties and Treatments #Material Properties and Processing
- Automated Proof Generation for Rust Code via Self-Evolution
2024/10/21 by Tianyu Chen, Chen, Tianyu, Shuai Lu +25 · 11 citations
Computer Science · #Algorithms and Data Compression #Artificial Intelligence (cs.AI) #Cellular Automata and Applications #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Feel-Good Thompson Sampling for Contextual Dueling Bandits
2024/04/09 by Xuheng Li, Li, Xuheng, Heyang Zhao +3 · 7 citations
Decision Sciences · Computer Science · #Advanced Bandit Algorithms Research #Mobile Crowdsensing and Crowdsourcing #Distributed Sensor Networks and Detection Algorithms
- Risk Bounds of Accelerated SGD for Overparameterized Linear Regression
2023/11/23 by Li, Xuheng, Deng, Yihe, Wu, Jingfeng +2 · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Optimization and Control (math.OC)