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

1. Gemini: A Family of Highly Capable Multimodal ModelsarXiv:2312.11805Gemini Team, Rohan Anil, Sebastian Borgeaud, et al.2023 · 3,050 citations
2. Encouraging Divergent Thinking in Large Language Models through Multi-Agent DebateConference on Empirical Methods in Natural Language Processing (EMNLP)Tian Liang, Zhiwei He, Wenxiang Jiao, et al.2023 · 651 citations
3. Large Language Models Can Self-ImproveConference on Empirical Methods in Natural Language Processing (EMNLP)Jiaxin Huang, Shixiang Gu, Le Hou, et al.2023 · 575 citations
4. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
5. WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-InstructarXiv:2308.09583Haipeng Luo, Qingfeng Sun, Can Xu, et al.2023 · 372 citations
6. MAmmoTH: Building Math Generalist Models through Hybrid Instruction TuningarXiv:2309.05653Xiang Yue, Xingwei Qu, Ge Zhang, et al.2023 · 295 citations
7. 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
8. TheoremQA: A Theorem-driven Question Answering DatasetConference on Empirical Methods in Natural Language Processing (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 FuturearXiv:2309.15402Zheng Chu, Jingchang Chen, Qianglong Chen, et al.2023 · 125 citations
10. 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
11. Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language ModelsarXiv:2501.09686Fengli Xu, Qianyue Hao, Zefang Zong, et al.2025 · 120 citations
12. 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
13. A Dynamic LLM-Powered Agent Network for Task-Oriented Agent CollaborationarXiv:2310.02170Zijun Liu, Yanzhe Zhang, Peng Li, et al.2023 · 114 citations
14. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
15. Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-VerificationarXiv:2308.07921Aojun Zhou, Ke Wang, Zimu Lu, et al.2023 · 110 citations
16. Multi-Step Reasoning with Large Language Models, a SurveyACM Computing SurveysAske Plaat, Annie Wong, Suzan Verberne, et al.2024 · 106 citations
17. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
18. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
19. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
20. Universal Self-Consistency for Large Language Model GenerationarXiv:2311.17311Xinyun Chen, Renat Aksitov, Uri Alon, et al.2023 · 92 citations
21. InternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningarXiv:2402.06332Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.2024 · 90 citations
22. 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
23. A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?arXiv:2503.24235Qiyuan Zhang, Fuyuan Lyu, Zexu Sun, et al.2025 · 79 citations
24. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
25. Self-Contrast: Better Reflection Through Inconsistent Solving PerspectivesAnnual Meeting of the Association for Computational Linguistics (ACL)Wenqi Zhang, Yongliang Shen, Linjuan Wu, et al.2024 · 75 citations
26. Cumulative Reasoning with Large Language ModelsarXiv:2308.04371Yifan Zhang, Jingqin Yang, Yang Yuan, et al.2023 · 74 citations
27. OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AIConference on Neural Information Processing Systems (NeurIPS)Zhen Huang, Zengzhi Wang, Shijie Xia, et al.2024 · 56 citations
28. MathChat: Converse to Tackle Challenging Math Problems with LLM AgentsarXiv:2306.01337Yiran Wu; Feiran Jia; Shaokun Zhang; Hangyu Li; Erkang Zhu; Yue Wang; Yin Tat Lee; Richard Peng; Qingyun Wu;, Chi Wang2023 · 46 citations
29. mCoT: Multilingual Instruction Tuning for Reasoning Consistency in Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Huiyuan Lai, Malvina Nissim2024 · 34 citations
30. Knowledge Boundary of Large Language Models: A SurveyAnnual Meeting of the Association for Computational Linguistics (ACL)Moxin Li, Yong Zhao, Wenxuan Zhang, et al.2025 · 30 citations
31. AutoPSV: Automated Process-Supervised VerifierConference on Neural Information Processing Systems (NeurIPS)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 LearningarXiv:2310.02954Jing Xiong, Zixuan Li, Chuanyang Zheng, et al.2023 · 27 citations
33. 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
34. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang 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 ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citations
36. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
37. Skills-in-Context Prompting: Unlocking Compositionality in Large Language ModelsarXiv:2308.00304Jiaao Chen, Xiaoman Pan, Dian Yu, et al.2023 · 17 citations
38. 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
39. 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
40. 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
41. AnyMAC: Cascading Flexible Multi-Agent Collaboration via Next-Agent PredictionConference on Empirical Methods in Natural Language Processing (EMNLP)Song Wang, Zhen Tan, Zihan Chen, et al.2025 · 10 citations
42. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
43. Expression Syntax Information Bottleneck for Math Word ProblemsInternational ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR)Jing Xiong, Chengming Li, Min Yang, et al.2023 · 10 citations
44. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (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 ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
46. A Survey of Deep Learning for Geometry Problem SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianzhe Ma, Wenxuan Wang, Qin Jin2026 · 1 citation
47. Crossroads of Optimization under Uncertainty: How to Choose the Optimal ModelFindings of the Association for Computational LinguisticsChengxi She, Zhiqiang Chen, Xingyu Lu, et al.2026
48. Generalizable LLM Learning of Graph Synthetic Data with Post-training AlignmentFindings of the Association for Computational LinguisticsYizhuo Zhang, Heng Wang, Shangbin Feng, et al.2026

170 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/chuanyang-zheng/cited-by/