🧑🔬 Zhejian Zhou — papers of 2024 — 2 papers, the most cited first2 papers · all years of Zhejian ZhouInternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningarXiv:2402.06332Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.2024 · 90 citationsInternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided SearcharXiv:2410.15700Zijian Wu, Suozhi Huang, Zhejian Zhou, et al.2024 · 59 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/zhejian-zhou/year/2024/