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

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Chuanyang Zheng](https://md.research.elamur.ai/free/en/authors/chuanyang-zheng/) / cited by

# Who cites Chuanyang Zheng

276 citations of their works from 218 papers of our library (of the 149,439 whose bibliographies we read) · 48 with a page here, the most cited first · [← Chuanyang Zheng](https://md.research.elamur.ai/free/en/authors/chuanyang-zheng/)

1. [**Gemini: A Family of Highly Capable Multimodal Models arXiv:2312.11805**Gemini Team, Rohan Anil, Sebastian Borgeaud, et al.*2023 · 3,050 citations*](https://md.research.elamur.ai/free/en/papers/gemini-team-2023-gemini-family-highly-capable-multimodal/)
2. **[Encouraging Divergent Thinking in Large Language Models through Multi-Agent Debate](https://md.research.elamur.ai/free/en/papers/liang-2023-encouraging-divergent-thinking-large-language/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Tian Liang, Zhiwei He, Wenxiang Jiao, et al.*2023 · 651 citations*
3. **[Large Language Models Can Self-Improve](https://md.research.elamur.ai/free/en/papers/huang-2023-large-language-models-can-self/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jiaxin Huang, Shixiang Gu, Le Hou, et al.*2023 · 575 citations*
4. [**MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models arXiv:2309.12284**Longhui Yu, Weisen Jiang, Han Shi, et al.*2023 · 565 citations*](https://md.research.elamur.ai/free/en/papers/yu-2023-metamath-bootstrap-your-own-mathematical/)
5. [**WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct arXiv:2308.09583**Haipeng Luo, Qingfeng Sun, Can Xu, et al.*2023 · 372 citations*](https://md.research.elamur.ai/free/en/papers/luo-2023-wizardmath-empowering-mathematical-reasoning-large/)
6. [**MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning arXiv:2309.05653**Xiang Yue, Xingwei Qu, Ge Zhang, et al.*2023 · 295 citations*](https://md.research.elamur.ai/free/en/papers/yue-2023-mammoth-building-math-generalist-models/)
7. **[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*
8. **[TheoremQA: A Theorem-driven Question Answering Dataset](https://md.research.elamur.ai/free/en/papers/chen-2023-theoremqa-theorem-driven-question-answering/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Wenhu Chen, Ming Yin, Max Ku, et al.*2023 · 158 citations*
9. [**Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future arXiv:2309.15402**Zheng Chu, Jingchang Chen, Qianglong Chen, et al.*2023 · 125 citations*](https://md.research.elamur.ai/free/en/papers/chu-2023-navigate-through-enigmatic-labyrinth-survey/)
10. [**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/)
11. [**Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Models arXiv:2501.09686**Fengli Xu, Qianyue Hao, Zefang Zong, et al.*2025 · 120 citations*](https://md.research.elamur.ai/free/en/papers/xu-2025-towards-large-reasoning-models-survey/)
12. [**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/)
13. [**A Dynamic LLM-Powered Agent Network for Task-Oriented Agent Collaboration arXiv:2310.02170**Zijun Liu, Yanzhe Zhang, Peng Li, et al.*2023 · 114 citations*](https://md.research.elamur.ai/free/en/papers/liu-2023-dynamic-llm-powered-agent-network/)
14. [**DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data arXiv:2405.14333**Huajian Xin, Daya Guo, Zhihong Shao, et al.*2024 · 111 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-advancing-theorem-proving/)
15. [**Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification arXiv:2308.07921**Aojun Zhou, Ke Wang, Zimu Lu, et al.*2023 · 110 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2023-solving-challenging-math-word-problems/)
16. **[Multi-Step Reasoning with Large Language Models, a Survey](https://md.research.elamur.ai/free/en/papers/plaat-2024-multi-step-reasoning-large-language/) [ACM Computing Surveys](https://md.research.elamur.ai/free/en/venues/acm-computing-surveys/)**Aske Plaat, Annie Wong, Suzan Verberne, et al.*2024 · 106 citations*
17. **[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*
18. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**George Tsoukalas, Jasper Lee, John Jennings, et al.*2024 · 93 citations*
19. [**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/)
20. [**Universal Self-Consistency for Large Language Model Generation arXiv:2311.17311**Xinyun Chen, Renat Aksitov, Uri Alon, et al.*2023 · 92 citations*](https://md.research.elamur.ai/free/en/papers/chen-2023-universal-self-consistency-large-language/)
21. [**InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning arXiv:2402.06332**Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.*2024 · 90 citations*](https://md.research.elamur.ai/free/en/papers/ying-2024-internlm-math-open-math-large/)
22. **[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*
23. [**A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well? arXiv:2503.24235**Qiyuan Zhang, Fuyuan Lyu, Zexu Sun, et al.*2025 · 79 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2025-survey-test-time-scaling-large/)
24. [**LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656**Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.*2023 · 79 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/)
25. **[Self-Contrast: Better Reflection Through Inconsistent Solving Perspectives](https://md.research.elamur.ai/free/en/papers/zhang-2024-self-contrast-better-reflection-through/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Wenqi Zhang, Yongliang Shen, Linjuan Wu, et al.*2024 · 75 citations*
26. [**Cumulative Reasoning with Large Language Models arXiv:2308.04371**Yifan Zhang, Jingqin Yang, Yang Yuan, et al.*2023 · 74 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2023-cumulative-reasoning-large-language-models/)
27. **[OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI](https://md.research.elamur.ai/free/en/papers/huang-2024-olympicarena-benchmarking-multi-discipline-cognitive/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zhen Huang, Zengzhi Wang, Shijie Xia, et al.*2024 · 56 citations*
28. [**MathChat: Converse to Tackle Challenging Math Problems with LLM Agents arXiv:2306.01337**Yiran Wu; Feiran Jia; Shaokun Zhang; Hangyu Li; Erkang Zhu; Yue Wang; Yin Tat Lee; Richard Peng; Qingyun Wu;, Chi Wang*2023 · 46 citations*](https://md.research.elamur.ai/free/en/papers/wu-2023-mathchat-converse-tackle-challenging-math/)
29. **[mCoT: Multilingual Instruction Tuning for Reasoning Consistency in Language Models](https://md.research.elamur.ai/free/en/papers/lai-2024-mcot-multilingual-instruction-tuning-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Huiyuan Lai, Malvina Nissim*2024 · 34 citations*
30. **[Knowledge Boundary of Large Language Models: A Survey](https://md.research.elamur.ai/free/en/papers/li-2025-knowledge-boundary-large-language-models/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Moxin Li, Yong Zhao, Wenxuan Zhang, et al.*2025 · 30 citations*
31. **[AutoPSV: Automated Process-Supervised Verifier](https://md.research.elamur.ai/free/en/papers/lu-2024-autopsv-automated-process-supervised-verifier/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Jianqiao Lu, Zhiyang Dou, Hongru Wang, et al.*2024 · 28 citations*
32. [**DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning arXiv:2310.02954**Jing Xiong, Zixuan Li, Chuanyang Zheng, et al.*2023 · 27 citations*](https://md.research.elamur.ai/free/en/papers/xiong-2023-dq-lore-dual-queries-low/)
33. **[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*
34. **[AI4Research: A Survey of Artificial Intelligence for Scientific Research](https://md.research.elamur.ai/free/en/papers/chen-2025-ai4research-survey-artificial-intelligence/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Mingda Yang, Libo Qin, et al.*2025 · 21 citations*
35. [**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/)
36. [**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/)
37. [**Skills-in-Context Prompting: Unlocking Compositionality in Large Language Models arXiv:2308.00304**Jiaao Chen, Xiaoman Pan, Dian Yu, et al.*2023 · 17 citations*](https://md.research.elamur.ai/free/en/papers/chen-2023-skills-context-prompting-unlocking-compositionality/)
38. **[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*
39. [**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/)
40. **[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*
41. **[AnyMAC: Cascading Flexible Multi-Agent Collaboration via Next-Agent Prediction](https://md.research.elamur.ai/free/en/papers/wang-2025-anymac-cascading-flexible-multi-agent/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Song Wang, Zhen Tan, Zihan Chen, et al.*2025 · 10 citations*
42. [**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/)
43. **[Expression Syntax Information Bottleneck for Math Word Problems](https://md.research.elamur.ai/free/en/papers/xiong-2023-expression-syntax-information-bottleneck-math/) [International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR)](https://md.research.elamur.ai/free/en/venues/international-acm-sigir-conference-on-research-and-development-in-information/)**Jing Xiong, Chengming Li, Min Yang, et al.*2023 · 10 citations*
44. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.*2025 · 9 citations*
45. **[Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.*2026 · 5 citations*
46. **[A Survey of Deep Learning for Geometry Problem Solving](https://md.research.elamur.ai/free/en/papers/ma-2026-survey-deep-learning-geometry-problem/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jianzhe Ma, Wenxuan Wang, Qin Jin*2026 · 1 citation*
47. **[Crossroads of Optimization under Uncertainty: How to Choose the Optimal Model](https://md.research.elamur.ai/free/en/papers/she-2026-crossroads-optimization-under-uncertainty-how/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Chengxi She, Zhiqiang Chen, Xingyu Lu, et al.*2026*
48. **[Generalizable LLM Learning of Graph Synthetic Data with Post-training Alignment](https://md.research.elamur.ai/free/en/papers/zhang-2026-generalizable-llm-learning-graph-synthetic/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yizhuo Zhang, Heng Wang, Shangbin Feng, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/chuanyang-zheng/) — Chuanyang Zheng