🧑🔬 Peihao Wu — papers of 2025 — 1 paper, the most cited first1 paper · all years of Peihao WuREAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/peihao-wu/year/2025/