Xuheng Li
5 papers · 2022–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Gold
πΊοΈ
Taxonomy Completionist
(13)
π
Renaissance Researcher
(6)
Top co-authors
Research topics
Machine Learning
(3)
Artificial Intelligence
(2)
Core AI
(2)
Optimization & Theory
(2)
Computer Science
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Reinforcement Learning
(1)
Security & Privacy
(1)
Application Areas
(1)
Learning Paradigms
(1)
Methods
(1)
Optimization
(1)
Privacy
(1)
Reasoning
(1)
Keywords
formal verification
(3)
linear regression
(1)
excess risk bound
(1)
thompson sampling
(1)
minimax optimal
(1)
regret
(1)
generalization bound
(1)
bias-variance tradeoff
(1)
overparameterized model
(1)
trusted execution environment
(1)
virtual machine
(1)
memory protection
(1)
confidential computing
(1)
hardware security
(1)
virtual machine isolation
(1)
firmware verification
(1)
coq proof assistant
(1)
symbolic verifier
(1)
proof automation
(1)
proof assistant
(1)
Papers
Automated Proof Generation for Rust Code via Self-Evolution
ICLR 2025
Feel-Good Thompson Sampling for Contextual Dueling Bandits
ICML 2024
Risk Bounds of Accelerated SGD for Overparameterized Linear Regression
ICLR 2024
Spoq: Scaling Machine-Checkable Systems Verification in Coq
OSDI 2023
Design and Verification of the Arm Confidential Compute Architecture
OSDI 2022