Programmatic Reinforcement Learning without Oracles. - Wenjie Qiu 002; He Zhu 001 (ICLR, 2022)

Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives. - Wenjie Qiu 002; Wensen Mao; He Zhu 001 (NeurIPS, 2023)

Reward-Guided Synthesis of Intelligent Agents with Control Structures. - Guofeng Cui; Yuning Wang; Wenjie Qiu 002; He Zhu 001 (Proc. ACM Program. Lang., 2024)