Hi, welcome to my personal page!
I'm a fifth-year Ph.D. student in the Computer Engineering at Northwestern University, supervised by Prof. Qi Zhu. I also work closely with Prof. Chao Huang from Unversity of Liverpool. My research interestes include machine learning and formal methods, with the consideration of safety, stability, robustness and correctness for cyber-physical systems.
Prior to Northwestern, I received my B.E. from Tsinghua University in 2018.
E-mail: yixuanwang2024 [AT] u [DOT] northwestern [DOT] edu
Curriculum Vitae, Google Scholar, Github
2024.03 Our paper State-wise Safe Reinforcement Learning with Pixel Observations has been accepted to L4DC.
2024.03 Our paper Empowering Autonomous Driving with Large Language Models: A Safety Perspective is accepted by ICLR 2024 Workshop on LLM Agents.
2024.01 We have a few preprints addressing various problems including safe RL with image observations, trajectory prediction for autonomous vehicles, and large language model for autonomous driving.
2023.12 Our paper REGLO: Provable Neural Network Repair for Global Robustness Properties has been accepted by AAAI 2024.
2023.10 Our paper POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems is accepted to TCAD.
2023.08 The co-authored book chapter Safety-Assured Design and Adaptation of Connected and Autonomous Vehicles is online.
2023.06 Our paper Safety-Assured Speculative Planning with Adaptive Prediction is accepted to IROS 2023, see u in Detroit this October!
2023.05 I will give a talk to the 6th IEEE International Workshop on Design Automation for Cyber-Physical Systems (DACPS), in July. The title of this talk is “Explainable safe reinforcement learning for safety-critical CPSs” which will mainly cover our recent ICML and ICCPS paper, where we developed a differentiable joint-learning bi-level optimization framework for safe RL with both deterministic and stochastic environment.
2023.04 Our paper Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments has been accepted to ICML 2023, see u in Hawaii this Summer!
2023.03 I passed the Ph.D. Prospectus Exam!
2023.01 Our paper Joint Differentiable Optimization and Verification for Certified Reinforcement Learning is accepted by ICCPS 2023.
Aurora Innovation, Mountain View, CA, USA, 2023.07 - 2023.09, Machine Learning Engineering Intern
Bosch USA, Sunnyvale, CA, USA, 2023.03 - 2023.06, Machine Learning Engineering Intern
Ford Motor Company, Dearborn, MI, USA, 2021.06 - 2021.09, Research Intern
Sensetime, Shenzhen, China 2019.04 - 2019.08, Machine Learning Engineering Intern
Mech-Mind Robotics, Beijing, China, 2017.12 - 2018.02, Software Development Engineering Intern
Reviewer for AAAI, NeurIPS, ICML, ICLR, RAL, CDC, IV, IOT Journal, etc
ICCPS 2024 Poster/Demo PC member
ICCPS 2024 Artifact Evaluation PC member
Teaching Assistant for ELEC_ENG 373, 473 Deep Reinforcement Learning from Scratch, Spring 2022.
Terminal Year Fellowship, Nothwestern University, 2023.
Best Paper Candidate, ICCAD 2020.
Northwestern Univerisity Ph.D. Fellowship, 2019-2020.
Academic Excellence Award(top 10%), Tsinghua University, in all the undergraduate years(2014-2018).
National Scholarship(top 2%), 2016.
Outstanding Undergraduate Students(top 2%), Tsinghua Univerisity, 2018.
Outstanding Undergraduate Students of Beijing(top 5%), 2018.