🧑🔬 Luoxin Chen — papers of 2025 — 2 papers, the most cited first2 papers · all years of Luoxin ChenSeed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citationsSolving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/luoxin-chen/year/2025/