Sicun Gao
Associate Professor
Combines automated reasoning and learning for control of cyber-physical systems, including neural certificates and reinforcement learning with guarantees.
Sicun Gao's lab at UCSD works on reinforcement learning, reasoning & neuro-symbolic AI and reasoning & agents. 25 papers since 2023. 6 PhD students. 12 alumni. Applications close .
At a glance
- papers, 2023–2026
- 7/ year
- at T1 venues
- 0%
- PhD students
- 6
- MS students
- 0
- alumni listed
- 12
Papers by yearfrom the lab homepage, 2023–2026
- 4 papers2026 · T1 0 · collecting
- 5 papers2025 · T1 0
- 9 papers2024 · T1 0
- 7 papers2023 · T1 0
T1 venuesOther
Research focuspaper titles that use each topic's words
- Reinforcement learning5 papers
- Reasoning & agents1 paper
- Reasoning & neuro-symbolic AI0 papers
- automated reasoning0 papers
- cyber-physical systems0 papers
Paper list
From the lab homepage.
20264 papers
- ICRA (IEEE International Conference on Robotics and Automation)Controllable Motion Generation via Diffusion Modal Coupling
- ICRA (IEEE International Conference on Robotics and Automation)Learning Quadruped Walking from Seconds of Demonstration
- ICML (International Conference on Machine Learning)RN-D: Discretized Categorical Actors for On-Policy Reinforcement Learning
- CoRL (Conference on Robot Learning)Sensitivity Shaping for Latent Modeling
20255 papers
- ICRA (IEEE International Conference on Robotics and Automation)Estimating Control Barriers from Offline Data [
- ICML (International Conference on Machine Learning)Improving Compositional Generation with Diffusion Models Using Lift Scores [
- ICML (International Conference on Machine Learning)Improving Value Estimation Critically Enhances Vanilla Policy Gradient
- CoRL (Conference on Robot Learning)Sequence Modeling for Time-Optimal Quadrotor Trajectory Optimization with Sampling-based Robustness Analysis
- ICML (International Conference on Machine Learning)When Maximum Entropy Misleads Policy Optimization
20249 papers
- ICML (International Conference on Machine Learning)Activation-Descent Regularization for Input Optimization of ReLU Networks
- ICML (International Conference on Machine Learning)Breaking the Barrier: Enhanced Utility and Robustness in Smoothed DRL Agents
- ICRA (International Conference on Robotics and Automation)Efficient Motion Planning for Manipulators with Barrier-Induced Neural Controller
- ICRA (International Conference on Robotics and Automation)Extremum-Seeking Action Selection for Accelerating Policy Optimization
- IEEE Open Journal of Control SystemsHamilton-Jacobi Reachability in Reinforcement Learning: A Survey
- ICML (International Conference on Machine Learning)Mollification Effects of Policy Gradient Methods
- CDC (IEEE Conference on Decision and Control)Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
- AAAI (AAAI Conference on Artificial Intelligence)Sample-and-Bound for Non-Convex Optimization
- NeurIPS (Conference on Neural Information Processing Systems)SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
20237 papers
- ICRA (International Conference on Robotics and Automation)Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality
- ICML (International Conference on Machine Learning)Everyone's Preference Changes Differently: A Weighted Multi-Interest Model For Retrieval
- NeurIPS (Conference on Neural Information Processing Systems)Fractal Landscapes in Policy Optimization
- NeurIPS (Conference on Neural Information Processing Systems)Iterative Reachability Estimation for Safe Reinforcement Learning
- ICRA (International Conference on Robotics and Automation)Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models
- IEEE Transactions on Robotics (T-RO)Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods
- IROS (International Conference on Intelligent Robots and Systems)Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance
Where alumni went12 listed
Apply to UCSDFall 2027
UCSD CSE Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- CNTsinghua
Keyou You
- Reinforcement learning
- HKCUHK
Tsung-Yi Ho
- Trustworthy & safe ML
- USUCSD
Yoav Freund
- Learning theory & optimization
- GBUCL
Leena Chennuru Vankadara
- Learning theory & optimization
- USNYU
Julia Kempe
- Trustworthy & safe ML
- CNZhejiang
Xiaofei He
- Recommendation, search & web
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
UCSDcloses