🧑🔬 Chenggang Li — papers of 2025 — 2 papers, the most cited first2 papers · all years of Chenggang LiSeed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citationsSeed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/chenggang-li/year/2025/