🧑🔬 Tianyi Xu — papers of 2025 — 1 paper, the most cited first1 paper · all years of Tianyi XuREAL-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/tianyi-xu/year/2025/