🧑‍🔬 Who cites Zhejian Zhou

145 citations of their works from 133 papers of our library (of the 149,439 whose bibliographies we read) · 43 with a page here, the most cited first · ← Zhejian Zhou

1. MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding BenchmarkConference on Neural Information Processing Systems (NeurIPS)Yubo Wang, Xueguang Ma, Ge Zhang, et al.2024 · 761 citations
2. Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-ImprovementarXiv:2409.12122An Yang, Beichen Zhang, Binyuan Hui, et al.2024 · 417 citations
3. InternLM2 Technical ReportarXiv:2403.17297Zheng Cai, Maosong Cao, Haojiong Chen, et al.2024 · 301 citations
4. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
5. Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language ModelsarXiv:2410.07985Bofei Gao, Feifan Song, Zhe Yang, et al.2024 · 163 citations
6. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 122 citations
7. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearcharXiv:2408.08152Huajian Xin, Z. Z. Ren, Junxiao Song, et al.2024 · 116 citations
8. MAmmoTH2: Scaling Instructions from the WebConference on Neural Information Processing Systems (NeurIPS)Xiang Yue, Tuney Zheng, Ge Zhang, et al.2024 · 96 citations
9. MinerU: An Open-Source Solution for Precise Document Content ExtractionarXiv:2409.18839Bin Wang, Chao Xu, Xiaomeng Zhao, et al.2024 · 95 citations
10. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
11. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
12. Lean Workbook: A large-scale Lean problem set formalized from natural language math problemsConference on Neural Information Processing Systems (NeurIPS)Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.2024 · 80 citations
13. MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics BenchmarkFindings of the Association for Computational LinguisticsHongwei Liu, Zilong Zheng, Yuxuan Qiao, et al.2024 · 70 citations
14. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
15. Rho-1: Not All Tokens Are What You NeedarXiv:2404.07965Zhenghao Lin, Zhibin Gou, Yeyun Gong, et al.2024 · 59 citations
16. Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.2026 · 25 citations
17. HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem ProvingarXiv:2412.20735Yang Li, Dong Du, Linfeng Song, et al.2024 · 25 citations
18. Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm PerspectiveAnnual Meeting of the Association for Computational Linguistics (ACL)Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, et al.2025 · 23 citations
19. Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical ReasoningarXiv:2407.00782Zimu Lu, Aojun Zhou, Ke Wang, et al.2024 · 23 citations
20. CodeI/O: Condensing Reasoning Patterns via Code Input-Output PredictionarXiv:2502.07316Junlong Li, Daya Guo, Dejian Yang, et al.2025 · 21 citations
21. START: Self-taught Reasoner with ToolsConference on Empirical Methods in Natural Language Processing (EMNLP)Chengpeng Li, Mingfeng Xue, Zhenru Zhang, et al.2025 · 21 citations
22. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
23. MA-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 citations
24. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
25. LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting ProblemsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Nan Xu, Xuezhe Ma2025 · 17 citations
26. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
27. Rewarding the Unlikely: Lifting GRPO Beyond Distribution SharpeningConference on Empirical Methods in Natural Language Processing (EMNLP)Andre Wang He, Daniel Fried, Sean Welleck2025 · 15 citations
28. Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models — The Story Goes OnarXiv:2407.08348Liang Zeng, Liangjun Zhong, Liang Zhao, et al.2024 · 14 citations
29. Leveraging Online Olympiad-Level Math Problems for LLMs Training and Contamination-Resistant EvaluationarXiv:2501.14275Sadegh Mahdavi, Muchen Li, Kaiwen Liu, et al.2025 · 10 citations
30. MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction FusionAnnual Meeting of the Association for Computational Linguistics (ACL)Qizhi Pei, Lijun Wu, Zhuoshi Pan, et al.2025 · 10 citations
31. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
32. MathGLM-Vision: Solving Mathematical Problems with Multi-Modal Large Language ModelarXiv:2409.13729Zhen Yang, Jinhao Chen, Zhengxiao Du, et al.2024 · 10 citations
33. Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training StagesarXiv:2501.14002Zui Chen, Tianqiao Liu, Mi Tian, et al.2025 · 9 citations
34. InternLM-Law: An Open Source Chinese Legal Large Language ModelarXiv:2406.14887Zhiwei Fei, Songyang Zhang, Xiaoyu Shen, et al.2024 · 9 citations
35. FastMCTS: A Simple Sampling Strategy for Data SynthesisAnnual Meeting of the Association for Computational Linguistics (ACL)Peiji Li, Kai Lv, Yunfan Shao, et al.2025 · 8 citations
36. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
37. Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical ProblemsProceedings of the AAAI Conference on Artificial IntelligenceJunyi Ye, Jingyi Gu, Xinyun Zhao, et al.2024 · 8 citations
38. Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math CapabilityConference on Empirical Methods in Natural Language Processing (EMNLP)Ruida Wang, Yuxin Li, Yi R. Fung, et al.2025 · 7 citations
39. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
40. From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical ProblemsarXiv:2410.18921A M Muntasir Rahman, Junyi Ye, Wei Yao, et al.2024 · 6 citations
41. Evaluating Numeracy of Language Models as a Natural Language Inference TaskFindings of the Association for Computational LinguisticsRahmad Mahendra, Damiano Spina, Lawrence Cavedon, et al.2025 · 4 citations
42. Does RLVR Extend Reasoning Boundaries? Investigating Capability Expansion in Vision-Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Minghe Shen, Zhuo Zhi, Chonghan Liu, et al.2026
43. ReActR: Reasoning through Error-Activated Reflection for LLM Post-TrainingAnnual Meeting of the Association for Computational Linguistics (ACL)Lina Sun2026

90 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/zhejian-zhou/cited-by/