Sotabase

Career

· Associate Professor, University of California, San Diego2023–
· Assistant Professor, University of California, San Diego2017–2023
· Postdoctoral Researcher, Massachusetts Institute of Technology2014–2017
· Postdoctoral Researcher, Carnegie Mellon University2012–2014
· PhD Student, Carnegie Mellon University2006–2012
· Undergraduate Student, Peking University2002–2006
· UCSD

Publications (186)

dReal: An SMT Solver for Nonlinear Theories over the Reals
CADE · 2013
487
cited
Neural Lyapunov Control
Neural Information Processing Systems · 2020
363
cited
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control
IEEE Transactions on robotics · 2022
332
cited
dReach: δ-Reachability Analysis for Hybrid Systems
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2015
275
cited
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
Conference on Robot Learning · 2021
210
cited
δ-Complete Decision Procedures for Satisfiability over the Reals
International Joint Conference on Automated Reasoning · 2012
208
cited
Satisfiability modulo ODEs
Formal Methods in Computer-Aided Design · 2013
94
cited
SMT-Based Nonlinear PDDL+ Planning
AAAI Conference on Artificial Intelligence · 2015
85
cited
Delta-Decidability over the Reals
2012 27th Annual IEEE Symposium on Logic in Computer Science · 2012
81
cited
A Non-prenex, Non-clausal QBF Solver with Game-State Learning
International Conference on Theory and Applications of Satisfiability Testing · 2010
80
cited
Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics
IEEE International Conference on Robotics and Automation · 2021
69
cited
A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids
IEEE Transactions on Smart Grid · 2022
58
cited
Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks
Neural Information Processing Systems · 2022
58
cited
How to pick the domain randomization parameters for sim-to-real transfer of reinforcement learning policies?
arXiv.org · 2019
56
cited
Smaller Language Models are Better Black-box Machine-Generated Text Detectors
arXiv.org · 2023
56
cited
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
arXiv.org · 2014
45
cited
Participatory Algorithmic Management: Elicitation Methods for Worker Well-Being Models
AAAI/ACM Conference on AI, Ethics, and Society · 2021
45
cited
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems
Formal Methods in Computer-Aided Design · 2010
44
cited
APEX: Autonomous Vehicle Plan Verification and Execution
2016
42
cited
SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2021
38
cited
Sotabase