🧑‍🔬 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

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. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
9. MAmmoTH2: Scaling Instructions from the WebConference on Neural Information Processing Systems (NeurIPS)Xiang Yue, Tuney Zheng, Ge Zhang, et al.2024 · 96 citations
10. MinerU: An Open-Source Solution for Precise Document Content ExtractionarXiv:2409.18839Bin Wang, Chao Xu, Xiaomeng Zhao, et al.2024 · 95 citations
11. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
12. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
13. 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
14. 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
15. 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
16. Rho-1: Not All Tokens Are What You NeedarXiv:2404.07965Zhenghao Lin, Zhibin Gou, Yeyun Gong, et al.2024 · 59 citations
17. 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
18. 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
19. 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
20. Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical ReasoningarXiv:2407.00782Zimu Lu, Aojun Zhou, Ke Wang, et al.2024 · 23 citations
21. CodeI/O: Condensing Reasoning Patterns via Code Input-Output PredictionarXiv:2502.07316Junlong Li, Daya Guo, Dejian Yang, et al.2025 · 21 citations
22. 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
23. 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
24. 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
25. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
26. 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
27. 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
28. 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
29. 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
30. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (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 EvaluationarXiv:2501.14275Sadegh Mahdavi, Muchen Li, Kaiwen Liu, et al.2025 · 10 citations
32. 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
33. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
34. MathGLM-Vision: Solving Mathematical Problems with Multi-Modal Large Language ModelarXiv:2409.13729Zhen Yang, Jinhao Chen, Zhengxiao Du, et al.2024 · 10 citations
35. 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
36. InternLM-Law: An Open Source Chinese Legal Large Language ModelarXiv:2406.14887Zhiwei Fei, Songyang Zhang, Xiaoyu Shen, et al.2024 · 9 citations
37. 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
38. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
39. 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
40. 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
41. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
42. 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
43. 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
44. SCALER: Synthetic Scalable Adaptive Learning Environment for ReasoningFindings of the Association for Computational LinguisticsCaijun 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 SolutionsAnnual Meeting of the Association for Computational Linguistics (ACL)Zhiyin Yu, Yuchen Mou, Juncheng Yan, et al.2026
46. 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
47. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
48. ReActR: Reasoning through Error-Activated Reflection for LLM Post-TrainingAnnual Meeting of the Association for Computational Linguistics (ACL)Lina Sun2026

121 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/zijian-wu/cited-by/