Yixuan Wang - RankMe

47 papers A* 10A 5B 1Journal 23Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Can We Trust Embodied Agents? Exploring Backdoor Attacks against Embodied LLM-Based Decision-Making Systems. ICLR Ruochen Jiao, Shaoyuan Xie, Justin Yue, Takami Sato, Lixu Wang, Yixuan Wang, Qi Alfred Chen, Qi Zhu
2025	A*	`conf`	Directly Forecasting Belief for Reinforcement Learning with Delays. ICML Qingyuan Wu, Yuhui Wang, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang
2025	J	`jnl`	Directly Forecasting Belief for Reinforcement Learning with Delays. CoRR Qingyuan Wu, Yuhui Wang, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang
2024	J	`jnl`	Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task. CoRR Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang
2024	A*	`conf`	Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays. ICML Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Jürgen Schmidhuber, Chao Huang
2024	B	`conf`	Case Study: Runtime Safety Verification of Neural Network Controlled System. RV Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu
2024	J	`jnl`	Case Study: Runtime Safety Verification of Neural Network Controlled System. CoRR Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu
2024	J	`jnl`	Exploring Backdoor Attacks against Large Language Model-based Decision Making. CoRR Ruochen Jiao, Shaoyuan Xie, Justin Yue, Takami Sato, Lixu Wang, Yixuan Wang, Qi Alfred Chen, Qi Zhu
2024	J	`jnl`	Inverse Delayed Reinforcement Learning. CoRR Simon Sinong Zhan, Qingyuan Wu, Zhian Ruan, Frank Yang, Philip Wang, Yixuan Wang, Ruochen Jiao, Chao Huang, Qi Zhu
2024	A	`conf`	Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. IROS Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Simon Sinong Zhan, Chao Huang, Qi Zhu
2024	J	`jnl`	Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments. CoRR Simon Sinong Zhan, Qingyuan Wu, Philip Wang, Yixuan Wang, Ruochen Jiao, Chao Huang, Qi Zhu
2024	J	`jnl`	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
2024	A*	`conf`	REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
2024	—	`conf`	State-wise safe reinforcement learning with pixel observations. L4DC Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu
2024	A*	`conf`	Variational Delayed Policy Optimization. NeurIPS Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang
2024	J	`jnl`	Variational Delayed Policy Optimization. CoRR Qingyuan Wu, Simon Sinong Zhan, Yixuan Wang, Yuhui Wang, Chung-Wei Lin, Chen Lv, Qi Zhu, Chao Huang
2023	J	`jnl`	Empowering Autonomous Driving with Large Language Models: A Safety Perspective. CoRR Yixuan Wang, Ruochen Jiao, Chengtian Lang, Simon Sinong Zhan, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
2023	A*	`conf`	Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. ICML Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu
2023	A*	`conf`	Invited: Waving the Double-Edged Sword: Building Resilient CAVs with Edge and Cloud Computing. DAC Xiangguo Liu, Yunpeng Luo, Anthony Goeckner, Trishna Chakraborty, Ruochen Jiao, Ningfei Wang, Yixuan Wang, Takami Sato, Qi Alfred Chen, Qi Zhu
2023	—	`conf`	Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. ICCPS Yixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
2023	J	`jnl`	Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling. CoRR Ruochen Jiao, Yixuan Wang, Xiangguo Liu, Chao Huang, Qi Zhu
2023	J	`jnl`	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
2023	A	`conf`	Safety-Assured Speculative Planning with Adaptive Prediction. IROS Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu
2023	J	`jnl`	Safety-Assured Speculative Planning with Adaptive Prediction. CoRR Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu
2023	J	`jnl`	State-wise Safe Reinforcement Learning With Pixel Observations. CoRR Simon Sinong Zhan, Yixuan Wang, Qingyuan Wu, Ruochen Jiao, Chao Huang, Qi Zhu
2023	—	`conf`	Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu
2022	J	`jnl`	A Tool for Neural Network Global Robustness Certification and Training. CoRR Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu
2022	—	`conf`	Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances. BuildSys Shichao Xu, Yangyang Fu, Yixuan Wang, Zhuoran Yang, Zheng O'Neill, Zhaoran Wang, Qi Zhu
2022	A*	`conf`	Design-while-verify: correct-by-construction control learning with verification in the loop. DAC Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu
2022	J	`jnl`	Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. CoRR Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu
2022	J	`jnl`	Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. CoRR Yixuan Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
2022	—	`conf`	Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. ICCPS Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu
2022	J	`jnl`	Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. CoRR Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu
2021	A	`conf`	Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. DATE Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu
2021	A*	`conf`	Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. DAC Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu
2021	J	`jnl`	Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. CoRR Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu
2021	—	`conf`	Learning-based framework for sensor fault-tolerant building HVAC control with model-assisted learning. BuildSys Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu
2021	J	`jnl`	Model-assisted Learning-based Framework for Sensor Fault-Tolerant Building HVAC Control. CoRR Shichao Xu, Yangyang Fu, Yixuan Wang, Zheng O'Neill, Qi Zhu
2021	—	`conf`	Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. ASP-DAC Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu
2021	J	`jnl`	Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. CoRR Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu
2021	J	`jnl`	Weak Adaptation Learning - Addressing Cross-domain Data Insufficiency with Weak Annotator. CoRR Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu
2021	A*	`conf`	Weak Adaptation Learning: Addressing Cross-domain Data Insufficiency with Weak Annotator. ICCV Shichao Xu, Lixu Wang, Yixuan Wang, Qi Zhu
2020	A	`conf`	Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. ICCAD Yixuan Wang, Chao Huang, Qi Zhu
2020	J	`jnl`	Energy-Efficient Control Adaptation with Safety Guarantees for Learning-Enabled Cyber-Physical Systems. CoRR Yixuan Wang, Chao Huang, Qi Zhu
2020	A	`conf`	Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi
2020	—	`conf`	One for Many: Transfer Learning for Building HVAC Control. BuildSys Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu
2020	J	`jnl`	One for Many: Transfer Learning for Building HVAC Control. CoRR Shichao Xu, Yixuan Wang, Yanzhi Wang, Zheng O'Neill, Qi Zhu