TY  - RPRT
TI  - REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
AU  - Ziju Shen
AU  - Naohao Huang
AU  - Fanyi Yang
AU  - Yutong Wang
AU  - Guoxiong Gao
AU  - Tianyi Xu
AU  - Jiedong Jiang
AU  - Wanyi He
AU  - Pu Yang
AU  - Mengzhou Sun
AU  - Haocheng Ju
AU  - Peihao Wu
AU  - Bryan Dai
AU  - Bin Dong
PY  - 2025
UR  - https://arxiv.org/abs/2505.20613
ID  - 2505.20613
ER  -