🧑🔬 Shizhe Diao — papers of 2025 — 1 paper, the most cited first1 paper · all years of Shizhe DiaoMA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/shizhe-diao/year/2025/