🧑🔬 Guoxiong Gao — papers of 2025 — 1 paper, the most cited first1 paper · all years of Guoxiong GaoREAL-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/guoxiong-gao/year/2025/