---
title: "Who cites Zijian Wu — 169 papers of our library"
description: "169 papers of the Elamur Research library cite the works of Zijian Wu, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/zijian-wu/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/zijian-wu/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Zijian Wu](https://md.research.elamur.ai/free/en/authors/zijian-wu/) / cited by

# Who cites Zijian Wu

223 citations of their works from 169 papers of our library (of the 149,439 whose bibliographies we read) · 48 with a page here, the most cited first · [← Zijian Wu](https://md.research.elamur.ai/free/en/authors/zijian-wu/)

1. **[MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding Benchmark](https://md.research.elamur.ai/free/en/papers/wang-2024-mmlu-pro-more-robust-challenging/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Yubo Wang, Xueguang Ma, Ge Zhang, et al.*2024 · 761 citations*
2. [**Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement arXiv:2409.12122**An Yang, Beichen Zhang, Binyuan Hui, et al.*2024 · 417 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-qwen2-5-math-technical-report/)
3. [**InternLM2 Technical Report arXiv:2403.17297**Zheng Cai, Maosong Cao, Haojiong Chen, et al.*2024 · 301 citations*](https://md.research.elamur.ai/free/en/papers/cai-2024-internlm2-technical-report/)
4. **[Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2025-towards-reasoning-era-survey-long/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Libo Qin, Jinhao Liu, et al.*2025 · 176 citations*
5. [**Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models arXiv:2410.07985**Bofei Gao, Feifan Song, Zhe Yang, et al.*2024 · 163 citations*](https://md.research.elamur.ai/free/en/papers/gao-2024-omni-math-universal-olympiad-level/)
6. [**DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition arXiv:2504.21801**Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.*2025 · 122 citations*](https://md.research.elamur.ai/free/en/papers/ren-2025-deepseek-prover-v2-advancing-formal/)
7. [**DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search arXiv:2408.08152**Huajian Xin, Z. Z. Ren, Junxiao Song, et al.*2024 · 116 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-v1-5-harnessing/)
8. **[MathArena: Evaluating LLMs on Uncontaminated Math Competitions](https://md.research.elamur.ai/free/en/papers/balunovic-2025-matharena-evaluating-llms-uncontaminated-math/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.*2025 · 99 citations*
9. **[MAmmoTH2: Scaling Instructions from the Web](https://md.research.elamur.ai/free/en/papers/yue-2024-mammoth2-scaling-instructions-web/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiang Yue, Tuney Zheng, Ge Zhang, et al.*2024 · 96 citations*
10. [**MinerU: An Open-Source Solution for Precise Document Content Extraction arXiv:2409.18839**Bin Wang, Chao Xu, Xiaomeng Zhao, et al.*2024 · 95 citations*](https://md.research.elamur.ai/free/en/papers/wang-2024-mineru-open-source-solution-precise/)
11. [**Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning arXiv:2504.11354**Haiming Wang, Mert Unsal, Xiaohan Lin, et al.*2025 · 92 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-kimina-prover-preview-large-formal/)
12. [**Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving arXiv:2502.07640**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 84 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-frontier-model-open/)
13. **[Lean Workbook: A large-scale Lean problem set formalized from natural language math problems](https://md.research.elamur.ai/free/en/papers/ying-2024-lean-workbook-large-scale-lean/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.*2024 · 80 citations*
14. **[MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics Benchmark](https://md.research.elamur.ai/free/en/papers/liu-2024-mathbench-evaluating-theory-application-proficiency/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Hongwei Liu, Zilong Zheng, Yuxuan Qiao, et al.*2024 · 70 citations*
15. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/)
16. [**Rho-1: Not All Tokens Are What You Need arXiv:2404.07965**Zhenghao Lin, Zhibin Gou, Yeyun Gong, et al.*2024 · 59 citations*](https://md.research.elamur.ai/free/en/papers/lin-2024-rho-1-all-tokens-need/)
17. **[Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models](https://md.research.elamur.ai/free/en/papers/sun-2026-challenging-boundaries-reasoning-olympiad-level/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.*2026 · 25 citations*
18. [**HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving arXiv:2412.20735**Yang Li, Dong Du, Linfeng Song, et al.*2024 · 25 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-hunyuanprover-scalable-data-synthesis/)
19. **[Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective](https://md.research.elamur.ai/free/en/papers/yu-2025-chain-reasoning-unified-mathematical-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, et al.*2025 · 23 citations*
20. [**Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical Reasoning arXiv:2407.00782**Zimu Lu, Aojun Zhou, Ke Wang, et al.*2024 · 23 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-step-controlled-dpo-leveraging-stepwise/)
21. [**CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction arXiv:2502.07316**Junlong Li, Daya Guo, Dejian Yang, et al.*2025 · 21 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-codei-o-condensing-reasoning/)
22. **[START: Self-taught Reasoner with Tools](https://md.research.elamur.ai/free/en/papers/li-2025-start-self-taught-reasoner-tools/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Chengpeng Li, Mingfeng Xue, Zhenru Zhang, et al.*2025 · 21 citations*
23. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/)
24. [**MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving arXiv:2503.03205**Ruida Wang, Rui Pan, Yuxin Li, et al.*2025 · 18 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-ma-lot-model-collaboration-lean/)
25. [**FormalAlign: Automated Alignment Evaluation for Autoformalization arXiv:2410.10135**Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/)
26. **[LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting Problems](https://md.research.elamur.ai/free/en/papers/xu-2025-llm-genius-paradox-linguistic-math/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Nan Xu, Xuezhe Ma*2025 · 17 citations*
27. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.*2025 · 16 citations*
28. **[Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening](https://md.research.elamur.ai/free/en/papers/he-2025-rewarding-unlikely-lifting-grpo-beyond/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Andre Wang He, Daniel Fried, Sean Welleck*2025 · 15 citations*
29. [**Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models — The Story Goes On arXiv:2407.08348**Liang Zeng, Liangjun Zhong, Liang Zhao, et al.*2024 · 14 citations*](https://md.research.elamur.ai/free/en/papers/zeng-2024-skywork-math-data-scaling-laws/)
30. **[CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.*2026 · 12 citations*
31. [**Leveraging Online Olympiad-Level Math Problems for LLMs Training and Contamination-Resistant Evaluation arXiv:2501.14275**Sadegh Mahdavi, Muchen Li, Kaiwen Liu, et al.*2025 · 10 citations*](https://md.research.elamur.ai/free/en/papers/mahdavi-2025-leveraging-online-olympiad-level-math/)
32. **[MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction Fusion](https://md.research.elamur.ai/free/en/papers/pei-2025-mathfusion-enhancing-mathematical-problem-solving/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Qizhi Pei, Lijun Wu, Zhuoshi Pan, et al.*2025 · 10 citations*
33. [**REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning arXiv:2505.20613**Ziju Shen, Naohao Huang, Fanyi Yang, et al.*2025 · 10 citations*](https://md.research.elamur.ai/free/en/papers/shen-2025-real-prover-retrieval-augmented-lean/)
34. [**MathGLM-Vision: Solving Mathematical Problems with Multi-Modal Large Language Model arXiv:2409.13729**Zhen Yang, Jinhao Chen, Zhengxiao Du, et al.*2024 · 10 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-mathglm-vision-solving-mathematical-problems/)
35. [**Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training Stages arXiv:2501.14002**Zui Chen, Tianqiao Liu, Mi Tian, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-advancing-mathematical-reasoning-language-models/)
36. [**InternLM-Law: An Open Source Chinese Legal Large Language Model arXiv:2406.14887**Zhiwei Fei, Songyang Zhang, Xiaoyu Shen, et al.*2024 · 9 citations*](https://md.research.elamur.ai/free/en/papers/fei-2024-internlm-law-open-source/)
37. **[FastMCTS: A Simple Sampling Strategy for Data Synthesis](https://md.research.elamur.ai/free/en/papers/li-2025-fastmcts-simple-sampling-strategy-data/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Peiji Li, Kai Lv, Yunfan Shao, et al.*2025 · 8 citations*
38. [**ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization arXiv:2510.24592**Guoxin Chen, Jing Wu, Xinjie Chen, et al.*2025 · 8 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-reform-reflective-autoformalization-prospective-bounded/)
39. **[Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems](https://md.research.elamur.ai/free/en/papers/ye-2024-assessing-creativity-llms-proposing-novel/) [Proceedings of the AAAI Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-aaai-conference-on-artificial-intelligence/)**Junyi Ye, Jingyi Gu, Xinyun Zhao, et al.*2024 · 8 citations*
40. **[Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability](https://md.research.elamur.ai/free/en/papers/wang-2025-let-s-reason-formally-natural/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Ruida Wang, Yuxin Li, Yi R. Fung, et al.*2025 · 7 citations*
41. [**StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion arXiv:2508.04440**Yutong Wu, Di Huang, Ruosi Wan, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/wu-2025-stepfun-formalizer-unlocking-autoformalization/)
42. [**From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems arXiv:2410.18921**A M Muntasir Rahman, Junyi Ye, Wei Yao, et al.*2024 · 6 citations*](https://md.research.elamur.ai/free/en/papers/rahman-2024-blind-solvers-logical-thinkers-benchmarking/)
43. **[Evaluating Numeracy of Language Models as a Natural Language Inference Task](https://md.research.elamur.ai/free/en/papers/mahendra-2025-evaluating-numeracy-language-models-as/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Rahmad Mahendra, Damiano Spina, Lawrence Cavedon, et al.*2025 · 4 citations*
44. **[SCALER: Synthetic Scalable Adaptive Learning Environment for Reasoning](https://md.research.elamur.ai/free/en/papers/xu-2026-scaler-synthetic-scalable-adaptive-learning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Caijun Xu, Changyi Xiao, Zhongyuan Peng, et al.*2026 · 2 citations*
45. **[A Survey of Reinforcement Learning for Large Language Models under Data Scarcity: Challenges and Solutions](https://md.research.elamur.ai/free/en/papers/yu-2026-survey-reinforcement-learning-large-language/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhiyin Yu, Yuchen Mou, Juncheng Yan, et al.*2026*
46. **[Does RLVR Extend Reasoning Boundaries? Investigating Capability Expansion in Vision-Language Models](https://md.research.elamur.ai/free/en/papers/shen-2026-does-rlvr-extend-reasoning-boundaries/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Minghe Shen, Zhuo Zhi, Chonghan Liu, et al.*2026*
47. **[FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://md.research.elamur.ai/free/en/papers/meadows-2026-formalscience-scalable-human-loop-autoformalisation/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jordan Meadows, Lan Zhang, Andre Freitas*2026*
48. **[ReActR: Reasoning through Error-Activated Reflection for LLM Post-Training](https://md.research.elamur.ai/free/en/papers/sun-2026-reactr-reasoning-through-error-activated/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Lina Sun*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/zijian-wu/) — Zijian Wu