🧑‍🔬 Who cites Jin Peng Zhou

224 citations of their works from 191 papers of our library (of the 149,439 whose bibliographies we read) · 41 with a page here, the most cited first · ← Jin Peng Zhou

1. A Survey of Large Language ModelsFrontiers of Computer ScienceWayne Xin Zhao, Kun Zhou, Junyi Li, et al.2023 · 2,875 citations
2. DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language ModelsarXiv:2402.03300Zhihong Shao, Peiyi Wang, Qihao Zhu, et al.2024 · 2,115 citations
3. OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific ProblemsAnnual Meeting of the Association for Computational Linguistics (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 ReasoningarXiv:2305.12295Liangming Pan, Alon Albalak, Xinyi Wang, et al.2023 · 374 citations
5. Augmented Language Models: a SurveyarXiv:2302.07842Grégoire Mialon, Roberto Dessì, Maria Lomeli, et al.2023 · 369 citations
6. Faith and Fate: Limits of Transformers on CompositionalityConference on Neural Information Processing Systems (NeurIPS)Nouha Dziri, Ximing Lu, Melanie Sclar, et al.2023 · 327 citations
7. CRITIC: Large Language Models Can Self-Correct with Tool-Interactive CritiquingarXiv:2305.11738Zhibin Gou, Zhihong Shao, Yeyun Gong, et al.2023 · 326 citations
8. Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
9. LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 citations
10. OBELICS: An Open Web-Scale Filtered Dataset of Interleaved Image-Text DocumentsConference on Neural Information Processing Systems (NeurIPS)Hugo Laurençon, Lucile Saulnier, Leo Tronchon, et al.2023 · 197 citations
11. 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
12. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
13. 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
14. 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
15. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
16. ReCEval: Evaluating Reasoning Chains via Correctness and InformativenessConference on Empirical Methods in Natural Language Processing (EMNLP)Archiki Prasad, Swarnadeep Saha, Xiang Zhou, et al.2023 · 73 citations
17. ReWOO: Decoupling Reasoning from Observations for Efficient Augmented Language ModelsarXiv:2305.18323Binfeng Xu, Zhiyuan Peng, Bowen Lei, et al.2023 · 61 citations
18. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem ProvingConference on Empirical Methods in Natural Language Processing (EMNLP)Xin Quan, Marco Valentino, Louise A. Dennis, et al.2024 · 52 citations
19. From Decoding to Meta-Generation: Inference-time Algorithms for Large Language ModelsarXiv:2406.16838Sean Welleck, Amanda Bertsch, Matthew Finlayson, et al.2024 · 51 citations
20. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
21. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
22. 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
23. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
24. 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
25. 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
26. CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen2025 · 14 citations
27. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
28. 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
29. 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
30. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
31. A New Approach Towards AutoformalizationarXiv:2310.07957Nilay Patel, Rahul Saha, Jeffrey Flanigan2023 · 7 citations
32. Graders Should Cheat: Privileged Information Enables Expert-Level Automated EvaluationsConference on Empirical Methods in Natural Language Processing (EMNLP)Jin Peng Zhou, Séb Arnold, Nan Ding, et al.2025 · 3 citations
33. Argument-Based Consistency in Toxicity Explanations of LLMsFindings of the Association for Computational LinguisticsRamaravind Kommiya Mothilal, Joanna Roy, Syed Ishtiaque Ahmed, et al.2026 · 2 citations
34. Gained in Translation: Privileged Pairwise Judges Enhance Multilingual ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Lintang Sutawika, Gokul Swamy, Steven Wu, et al.2026 · 2 citations
35. ReProbe: Efficient Test-Time Scaling of Multi-Step Reasoning by Probing Internal States of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Jingwei Ni, Ekaterina Fadeeva, Tianyi Wu, et al.2026 · 1 citation
36. Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative VerifierAnnual Meeting of the Association for Computational Linguistics (ACL)Jianyuan Zhong, Zeju Li, Zhijian Xu, et al.2026 · 1 citation
37. When Vision-Language Models Judge Without Seeing: Exposing Informativeness BiasAnnual Meeting of the Association for Computational Linguistics (ACL)Xiaohan Zou, Roshan Sridhar, Mohammadtaher Safarzadeh, et al.2026 · 1 citation
38. 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
39. Format-Adapter: Improving Reasoning Capability of LLMs by Adapting Suitable FormatFindings of the Association for Computational LinguisticsDingzirui Wang, Xuanliang Zhang, Rongyu Cao, et al.2026
40. Learning from Cognition: Enhancing RL Efficiency for LLM Reasoning via Hierarchical Metacognitive Decomposition and RefinementAnnual Meeting of the Association for Computational Linguistics (ACL)Zexu Sun, Yongcheng Zeng, Erxue Min, et al.2026
41. Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.2026

150 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/jin-peng-zhou/cited-by/