🧑🔬 Jiawei Ge — papers of 2025 — 2 papers, the most cited first2 papers · all years of Jiawei GeGoedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citationsMATH-Perturb: Benchmarking LLMs' Math Reasoning Abilities against Hard PerturbationsarXiv:2502.06453Kaixuan Huang, Jiacheng Guo, Zihao Li, et al.2025 · 42 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/jiawei-ge/year/2025/