| 2025 | ICML | Improving Value Estimation Critically Enhances Vanilla Policy Gradient. | Tao Wang, Ruipeng Zhang, Sicun Gao |
| 2025 | ICML | Improving Compositional Generation with Diffusion Models Using Lift Scores. | Chenning Yu, Sicun Gao |
| 2025 | ICML | When Maximum Entropy Misleads Policy Optimization. | Ruipeng Zhang, Ya-Chien Chang, Sicun Gao |
| 2025 | ICRA | Estimating Control Barriers from Offline Data. | Hongzhan Yu, Seth Farrell, Ryo Yoshimitsu, Zhizhen Qin, Henrik I. Christensen, Sicun Gao |
| 2024 | AAAI | Sample-and-Bound for Non-convex Optimization. | Yaoguang Zhai, Zhizhen Qin, Sicun Gao |
| 2024 | EACL | Smaller Language Models are Better Zero-shot Machine-Generated Text Detectors. | Niloofar Mireshghallah, Justus Mattern, Sicun Gao, Reza Shokri, Taylor Berg-Kirkpatrick |
| 2024 | ICDAR | WikiDT: Visual-Based Table Recognition and Question Answering Dataset. | Hui Shi, Yusheng Xie, Luis Goncalves, Sicun Gao, Jishen Zhao |
| 2024 | ICML | Breaking the Barrier: Enhanced Utility and Robustness in Smoothed DRL Agents. | Chung-En Sun, Sicun Gao, Tsui-Wei Weng |
| 2024 | ICML | Mollification Effects of Policy Gradient Methods. | Tao Wang, Sylvia L. Herbert, Sicun Gao |
| 2024 | ICML | Activation-Descent Regularization for Input Optimization of ReLU Networks. | Hongzhan Yu, Sicun Gao |
| 2024 | ICRA | Extremum-Seeking Action Selection for Accelerating Policy Optimization. | Ya-Chien Chang, Sicun Gao |
| 2024 | ICRA | Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. | Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan |
| 2023 | CVPR | SCALE: Online Self-Supervised Lifelong Learning without Prior Knowledge. | Xiaofan Yu, Yunhui Guo, Sicun Gao, Tajana Rosing |
| 2023 | ICML | Everyone's Preference Changes Differently: A Weighted Multi-Interest Model For Retrieval. | Hui Shi, Yupeng Gu, Yitong Zhou, Bo Zhao, Sicun Gao, Jishen Zhao |
| 2023 | ICRA | Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models. | Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao |
| 2023 | IROS | Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance. | Hongzhan Yu, Chiaki Hirayama, Chenning Yu, Sylvia L. Herbert, Sicun Gao |
| 2023 | ICRA | Accelerating Multi-Agent Planning Using Graph Transformers with Bounded Suboptimality. | Chenning Yu, Qingbiao Li, Sicun Gao, Amanda Prorok |
| 2022 | AAAI | Learning Bounded Context-Free-Grammar via LSTM and the Transformer: Difference and the Explanations. | Hui Shi, Sicun Gao, Yuandong Tian, Xinyun Chen, Jishen Zhao |
| 2022 | CoRL | Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation. | Chenning Yu, Hongzhan Yu, Sicun Gao |
| 2022 | IROS | Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions. | Zhizhen Qin, Tsui-Wei Weng, Sicun Gao |
| 2021 | AIES | Participatory Algorithmic Management: Elicitation Methods for Worker Well-Being Models. | Min Kyung Lee, Ishan Nigam, Angie Zhang, Joel Afriyie, Zhizhen Qin, Sicun Gao |
| 2021 | CoRL | Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. | Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan |
| 2021 | ICRA | Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics. | Ya-Chien Chang, Sicun Gao |
| 2020 | ASPDAC | SP&R: Simultaneous Placement and Routing framework for standard cell synthesis in sub-7nm. | Dongwon Park, Daeyeal Lee, Ilgweon Kang, Sicun Gao, Bill Lin, Chung-Kuan Cheng |
| 2020 | ICML | Provably Efficient Model-based Policy Adaptation. | Yuda Song, Aditi Mavalankar, Wen Sun, Sicun Gao |
| 2020 | SP | RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks. | Christopher R. Serrano, Pape M. Sylla, Sicun Gao, Michael A. Warren |
| 2019 | AAAI | Inverse Abstraction of Neural Networks Using Symbolic Interpolation. | Sumanth Dathathri, Sicun Gao, Richard M. Murray |
| 2019 | CAV | Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. | Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Archiga, Soonho Kong |
| 2019 | CAV | Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. | Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey |
| 2019 | CCS | VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. | Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner |
| 2018 | CAV | Delta-Decision Procedures for Exists-Forall Problems over the Reals. | Soonho Kong, Armando Solar-Lezama, Sicun Gao |
| 2018 | DAC | LEMAX: learning-based energy consumption minimization in approximate computing with quality guarantee. | Vahideh Akhlaghi, Sicun Gao, Rajesh K. Gupta |
| 2017 | FMCAD | Modular SMT-based analysis of nonlinear hybrid systems. | Kyungmin Bae, Sicun Gao |
| 2017 | IJCAI | Learning-Based Abstractions for Nonlinear Constraint Solving. | Sumanth Dathathri, Nikos Archiga, Sicun Gao, Richard M. Murray |
| 2016 | TACAS | Interpolants in Nonlinear Theories Over the Reals. | Sicun Gao, Damien Zufferey |
| 2015 | AAAI | SMT-Based Nonlinear PDDL+ Planning. | Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman |
| 2015 | TACAS | dReach: δ-Reachability Analysis for Hybrid Systems. | Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke |
| 2014 | ISoLA | Medical Cyber-Physical Systems - (Track Introduction). | Ezio Bartocci, Sicun Gao, Scott A. Smolka |
| 2014 | ISoLA | Model Checking Hybrid Systems - (Invited Talk). | Edmund M. Clarke, Sicun Gao |
| 2014 | ISoLA | Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. | Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka |
| 2014 | SYNASC | Proof Generation from Delta-Decisions. | Sicun Gao, Soonho Kong, Edmund M. Clarke |
| 2013 | CADE | dReal: An SMT Solver for Nonlinear Theories over the Reals. | Sicun Gao, Soonho Kong, Edmund M. Clarke |
| 2013 | FMCAD | Satisfiability modulo ODEs. | Sicun Gao, Soonho Kong, Edmund M. Clarke |
| 2012 | CADE | δ-Complete Decision Procedures for Satisfiability over the Reals. | Sicun Gao, Jeremy Avigad, Edmund M. Clarke |
| 2012 | LICS | Delta-Decidability over the Reals. | Sicun Gao, Jeremy Avigad, Edmund M. Clarke |
| 2010 | FMCAD | Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. | Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke |
| 2010 | SAT | A Non-prenex, Non-clausal QBF Solver with Game-State Learning. | William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke |