---
title: "Who cites Jin Peng Zhou — 191 papers of our library"
description: "191 papers of the Elamur Research library cite the works of Jin Peng Zhou, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/jin-peng-zhou/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jin-peng-zhou/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Jin Peng Zhou](https://md.research.elamur.ai/free/en/authors/jin-peng-zhou/) / cited by

# Who cites Jin Peng Zhou

224 citations of their works from 191 papers of our library (of the 149,439 whose bibliographies we read) · 56 with a page here, the most cited first · [← Jin Peng Zhou](https://md.research.elamur.ai/free/en/authors/jin-peng-zhou/)

1. **[A Survey of Large Language Models](https://md.research.elamur.ai/free/en/papers/zhao-2023-survey-large-language-models/) [Frontiers of Computer Science](https://md.research.elamur.ai/free/en/venues/frontiers-of-computer-science/)**Wayne Xin Zhao, Kun Zhou, Junyi Li, et al.*2023 · 2,875 citations*
2. [**DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models arXiv:2402.03300**Zhihong Shao, Peiyi Wang, Qihao Zhu, et al.*2024 · 2,115 citations*](https://md.research.elamur.ai/free/en/papers/shao-2024-deepseekmath-pushing-limits-mathematical-reasoning/)
3. **[OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems](https://md.research.elamur.ai/free/en/papers/he-2024-olympiadbench-challenging-benchmark-promoting-agi/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Chaoqun He, Renjie Luo, Yuzhuo Bai, et al.*2024 · 456 citations*
4. [**Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning arXiv:2305.12295**Liangming Pan, Alon Albalak, Xinyi Wang, et al.*2023 · 374 citations*](https://md.research.elamur.ai/free/en/papers/pan-2023-logic-lm-empowering-large-language/)
5. [**Augmented Language Models: a Survey arXiv:2302.07842**Grégoire Mialon, Roberto Dessì, Maria Lomeli, et al.*2023 · 369 citations*](https://md.research.elamur.ai/free/en/papers/mialon-2023-augmented-language-models-survey/)
6. **[Faith and Fate: Limits of Transformers on Compositionality](https://md.research.elamur.ai/free/en/papers/dziri-2023-faith-fate-limits-transformers-compositionality/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Nouha Dziri, Ximing Lu, Melanie Sclar, et al.*2023 · 327 citations*
7. [**CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing arXiv:2305.11738**Zhibin Gou, Zhihong Shao, Yeyun Gong, et al.*2023 · 326 citations*](https://md.research.elamur.ai/free/en/papers/gou-2023-critic-large-language-models-self/)
8. [**Llemma: An Open Language Model For Mathematics arXiv:2310.10631**Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.*2023 · 286 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-llemma-open-language-model-mathematics/)
9. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations*
10. **[A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation](https://md.research.elamur.ai/free/en/papers/huang-2023-survey-safety-trustworthiness-large-language/) [Artificial Intelligence Review](https://md.research.elamur.ai/free/en/venues/artificial-intelligence-review/)**Xiaowei Huang, Wenjie Ruan, Wei Huang, et al.*2023 · 199 citations*
11. **[OBELICS: An Open Web-Scale Filtered Dataset of Interleaved Image-Text Documents](https://md.research.elamur.ai/free/en/papers/lauren-ccon-2023-obelics-open-web-scale-filtered/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Hugo Laurençon, Lucile Saulnier, Leo Tronchon, et al.*2023 · 197 citations*
12. **[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*
13. [**Baldur: Whole-Proof Generation and Repair with Large Language Models arXiv:2303.04910**Emily First, Markus N. Rabe, Talia Ringer, et al.*2023 · 175 citations*](https://md.research.elamur.ai/free/en/papers/first-2023-baldur-whole-proof-generation-repair/)
14. **[M3Exam: A Multilingual, Multimodal, Multilevel Benchmark for Examining Large Language Models](https://md.research.elamur.ai/free/en/papers/zhang-2023-m3exam-multilingual-multimodal-multilevel-benchmark/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Wenxuan Zhang, Sharifah Mahani Aljunied, Chang Gao, et al.*2023 · 150 citations*
15. [**ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics arXiv:2302.12433**Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.*2023 · 142 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-proofnet-autoformalizing-formally-proving-undergraduate/)
16. [**Progressive-Hint Prompting Improves Reasoning in Large Language Models arXiv:2304.09797**Chuanyang Zheng, Zhengying Liu, Enze Xie, et al.*2023 · 131 citations*](https://md.research.elamur.ai/free/en/papers/zheng-2023-progressive-hint-prompting-improves-reasoning/)
17. [**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/)
18. [**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/)
19. [**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/)
20. **[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*
21. [**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/)
22. [**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/)
23. **[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*
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. [**G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model arXiv:2312.11370**Jiahui Gao, Renjie Pi, Jipeng Zhang, et al.*2023 · 76 citations*](https://md.research.elamur.ai/free/en/papers/gao-2023-g-llava-solving-geometric-problem/)
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. **[ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness](https://md.research.elamur.ai/free/en/papers/prasad-2023-receval-evaluating-reasoning-chains-correctness/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Archiki Prasad, Swarnadeep Saha, Xiang Zhou, et al.*2023 · 73 citations*
28. [**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/)
29. [**ReWOO: Decoupling Reasoning from Observations for Efficient Augmented Language Models arXiv:2305.18323**Binfeng Xu, Zhiyuan Peng, Bowen Lei, et al.*2023 · 61 citations*](https://md.research.elamur.ai/free/en/papers/xu-2023-rewoo-decoupling-reasoning-observations-efficient/)
30. **[Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions](https://md.research.elamur.ai/free/en/papers/zelikman-2023-parsel-algorithmic-reasoning-language-models/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Eric Zelikman, Qian Huang, Gabriel Poesia, et al.*2023 · 56 citations*
31. [**FIMO: A Challenge Formal Dataset for Automated Theorem Proving arXiv:2309.04295**Chengwu Liu, Jianhao Shen, Huajian Xin, et al.*2023 · 53 citations*](https://md.research.elamur.ai/free/en/papers/liu-2023-fimo-challenge-formal-dataset-automated/)
32. **[Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving](https://md.research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Xin Quan, Marco Valentino, Louise A. Dennis, et al.*2024 · 52 citations*
33. [**From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Models arXiv:2406.16838**Sean Welleck, Amanda Bertsch, Matthew Finlayson, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2024-decoding-meta-generation-inference-time/)
34. [**DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning arXiv:2511.22570**Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.*2025 · 33 citations*](https://md.research.elamur.ai/free/en/papers/shao-2025-deepseekmath-v2-self-verifiable/)
35. **[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*
36. [**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/)
37. [**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/)
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. **[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*
40. **[CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/leang-2025-comat-chain-mathematically-annotated-thought/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen*2025 · 14 citations*
41. [**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/)
42. **[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*
43. **[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*
44. [**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/)
45. [**A New Approach Towards Autoformalization arXiv:2310.07957**Nilay Patel, Rahul Saha, Jeffrey Flanigan*2023 · 7 citations*](https://md.research.elamur.ai/free/en/papers/patel-2023-new-approach-towards-autoformalization/)
46. **[Graders Should Cheat: Privileged Information Enables Expert-Level Automated Evaluations](https://md.research.elamur.ai/free/en/papers/zhou-2025-graders-should-cheat-privileged-information/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jin Peng Zhou, Séb Arnold, Nan Ding, et al.*2025 · 3 citations*
47. **[Argument-Based Consistency in Toxicity Explanations of LLMs](https://md.research.elamur.ai/free/en/papers/mothilal-2026-argument-based-consistency-toxicity-explanations/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Ramaravind Kommiya Mothilal, Joanna Roy, Syed Ishtiaque Ahmed, et al.*2026 · 2 citations*
48. **[Gained in Translation: Privileged Pairwise Judges Enhance Multilingual Reasoning](https://md.research.elamur.ai/free/en/papers/sutawika-2026-gained-translation-privileged-pairwise-judges/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Lintang Sutawika, Gokul Swamy, Steven Wu, et al.*2026 · 2 citations*
49. **[ReProbe: Efficient Test-Time Scaling of Multi-Step Reasoning by Probing Internal States of Large Language Models](https://md.research.elamur.ai/free/en/papers/ni-2026-reprobe-efficient-test-time-scaling/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jingwei Ni, Ekaterina Fadeeva, Tianyi Wu, et al.*2026 · 1 citation*
50. **[Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier](https://md.research.elamur.ai/free/en/papers/zhong-2026-solve-detect-verify-inference-time/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jianyuan Zhong, Zeju Li, Zhijian Xu, et al.*2026 · 1 citation*
51. **[When Vision-Language Models Judge Without Seeing: Exposing Informativeness Bias](https://md.research.elamur.ai/free/en/papers/zou-2026-when-vision-language-models-judge/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Xiaohan Zou, Roshan Sridhar, Mohammadtaher Safarzadeh, et al.*2026 · 1 citation*
52. **[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*
53. **[Format-Adapter: Improving Reasoning Capability of LLMs by Adapting Suitable Format](https://md.research.elamur.ai/free/en/papers/wang-2026-format-adapter-improving-reasoning-capability/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Dingzirui Wang, Xuanliang Zhang, Rongyu Cao, et al.*2026*
54. **[Learning from Cognition: Enhancing RL Efficiency for LLM Reasoning via Hierarchical Metacognitive Decomposition and Refinement](https://md.research.elamur.ai/free/en/papers/sun-2026-learning-cognition-enhancing-rl-efficiency/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zexu Sun, Yongcheng Zeng, Erxue Min, et al.*2026*
55. **[Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/xu-2026-reliable-use-lemmas-eligibility-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.*2026*
56. **[STCOR: A Trilevel Syllogism-Driven Reasoning Framework](https://md.research.elamur.ai/free/en/papers/yang-2026-stcor-trilevel-syllogism-driven-reasoning/) [Workshop on Argument Mining](https://md.research.elamur.ai/free/en/venues/argmining/)**Keying Yang, Hao Wang, Chengtao Jian, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/jin-peng-zhou/) — Jin Peng Zhou