ConformalNL2LTL: Our paper “ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees” is now online! Check our Project Webpage!
About me
I am a fourth-year PhD candidate in Electrical Engineering at Washington University in St. Louis advised by Prof. Yiannis Kantaros. Prior to my doctoral studies, I worked as a research intern at Schlumberger-Doll Research (SDR) for 9 months. I received MSE in Robotics at GRASP Lab supervised by Prof. George Pappas at the University of Pennsylvania in 2021 and BEng in Software Engineering at Sun Yat-Sen University in 2019. I spent 6 wonderful months at SungKyunKwan University in Korea as an exchange student in 2018.My research interests include machine learning, control, and robotics.
News
2025
L4DC accepted: Our paper “Mission-driven exploration for accelerated deep reinforcement learning with temporal logic task specifications” has been accepted for 7th Annual Learning for Dynamics & Control Conference (L4DC) 2025! Check our Project Webpage!
2024
IEEE RA-L accepted: Our paper “Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction” has been accepted for the IEEE Robotics and Automation Letters (RA-L)! Check our Project Webpage!
IEEE TAC accepted: Our paper “Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration” has been accepted for the IEEE Transactions on Automatic Control!
2023
AAAI accepted: Our paper “Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis” has been accepted for the SRRAI Special Track at the Conference on Artificial Intelligence (AAAI-24)!
HERACLEs: Our paper “Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help” has project webpage online over HERE!
L4DC Accepted: Our paper “Targeted Adversarial Attacks against Neural Network Trajectory Predictors” has been accepted to 5th Annual Learning for Dynamics & Control Conference (L4DC)!
2022
IEEE CDC Accepted: Our paper “Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives” has been accepted to IEEE Conference on Decision and Control (CDC) 2022!
2021
SLB Research: Happy to share that I will join Schlumberger as a summer intern in 2021!