Ziju Shen

According to our database, Ziju Shen authored at least 3 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

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, Bryan Dai, Bin Dong

CoRR, May, 2025

2020

Learning to Scan: A Deep Reinforcement Learning Approach for Personalized Scanning in CT Imaging.

Ziju Shen, Yufei Wang, Dufan Wu, Xu Yang, Bin Dong

CoRR, 2020

2019

Learning to Discretize: Solving 1D Scalar Conservation Laws via Deep Reinforcement Learning.

Yufei Wang, Ziju Shen, Zichao Long, Bin Dong

CoRR, 2019