Rui Zuo — accepted AI-conference papers

2026

SafeNet: A Neural-Symbolic Network for Safe Planning in Robotic Systems Using Formal Method-Guided LLM Fine-Tuning

Zifan Wang, Jialiang Fan, Rui Zuo, Qinru Qiu, Fanxin Kong

ICRA 2026poster

Robotic systems present unique safety challenges due to their complex integration of computational and physical processes and direct interaction with humans and environments. Traditional approaches to robot safety planning either rely on conventional methods, which struggle with the complexity of mo…

Cited by 0 Scholar ↗

2025

Why the Agent Made that Decision: Contrastive Explanation Learning for Reinforcement Learning

Rui Zuo, Simon Khan, Zifan Wang, Garrett Ethan Katz, Qinru Qiu

IJCAI 2025

Reinforcement learning (RL) has demonstrated remarkable success in solving complex decision-making problems, yet its adoption in critical domains is hindered by the lack of interpretability in its decision-making processes. Existing explainable AI (xAI) approaches often fail to provide meaningful ex

Cited by 0 Source ↗PDF ↗Scholar ↗