Learning to Discretize: Solving 1D Scalar Conservation Laws via Deep Reinforcement Learning. - Yufei Wang; Ziju Shen; Zichao Long; Bin Dong 001 (CoRR, 2019)

Learning to Scan: A Deep Reinforcement Learning Approach for Personalized Scanning in CT Imaging. - Ziju Shen; Yufei Wang; Dufan Wu; Xu Yang; Bin Dong 001 (CoRR, 2020)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning. - Ziju Shen; Naohao Huang; Fanyi Yang; Yutong Wang; Guoxiong Gao; Tianyi Xu; Jiedong Jiang; Wanyi He; Pu Yang; Mengzhou Sun; Haocheng Ju; Peihao Wu; et al. (CoRR, 2025)