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

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Yeming Wen](https://md.research.elamur.ai/free/en/authors/yeming-wen/) / cited by

# Who cites Yeming Wen

135 citations of their works from 131 papers of our library (of the 149,439 whose bibliographies we read) · 46 with a page here, the most cited first · [← Yeming Wen](https://md.research.elamur.ai/free/en/authors/yeming-wen/)

1. [**PaLM 2 Technical Report arXiv:2305.10403**Rohan Anil, Andrew M. Dai, Orhan Firat, et al.*2023 · 1,000 citations*](https://md.research.elamur.ai/free/en/papers/anil-2023-palm-2-technical-report/)
2. [**SWE-bench: Can Language Models Resolve Real-World GitHub Issues? arXiv:2310.06770**Carlos E. Jimenez, John Yang, Alexander Wettig, et al.*2024 · 704 citations*](https://md.research.elamur.ai/free/en/papers/jimenez-2024-swe-bench-can-language-models/)
3. [**LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code arXiv:2403.07974**Naman Jain, King Han, Alex Gu, et al.*2024 · 578 citations*](https://md.research.elamur.ai/free/en/papers/jain-2024-livecodebench-holistic-contamination-free-evaluation/)
4. **[SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering](https://md.research.elamur.ai/free/en/papers/yang-2024-swe-agent-agent-computer-interfaces/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**John Yang, Carlos E. Jimenez, Alexander Wettig, et al.*2024 · 552 citations*
5. [**AlphaEvolve: A coding agent for scientific and algorithmic discovery arXiv:2506.13131**Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.*2025 · 202 citations*](https://md.research.elamur.ai/free/en/papers/novikov-2025-alphaevolve-coding-agent-scientific-algorithmic/)
6. [**KernelBench: Can LLMs Write Efficient GPU Kernels? arXiv:2502.10517**Anne Ouyang, Simon Guo, Simran Arora, et al.*2025 · 178 citations*](https://md.research.elamur.ai/free/en/papers/ouyang-2025-kernelbench-llms-write-efficient-gpu/)
7. [**CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution arXiv:2401.03065**Alex Gu, Baptiste Rozière, Hugh Leather, et al.*2024 · 122 citations*](https://md.research.elamur.ai/free/en/papers/gu-2024-cruxeval-benchmark-code-reasoning-understanding/)
8. [**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/)
9. **[InterCode: Standardizing and Benchmarking Interactive Coding with Execution Feedback](https://md.research.elamur.ai/free/en/papers/yang-2023-intercode-standardizing-benchmarking-interactive-coding/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**John Yang, Akshara Prabhakar, Karthik Narasimhan, et al.*2023 · 95 citations*
10. **[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*
11. [**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/)
12. [**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/)
13. **[SciCode: A Research Coding Benchmark Curated by Scientists](https://md.research.elamur.ai/free/en/papers/tian-2024-scicode-research-coding-benchmark/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Minyang Tian, Luyu Gao, Shizhuo Dylan Zhang, et al.*2024 · 75 citations*
14. [**Evaluation of OpenAI o1: Opportunities and Challenges of AGI arXiv:2409.18486**Tianyang Zhong, Zhengliang Liu, Yi Pan, et al.*2024 · 64 citations*](https://md.research.elamur.ai/free/en/papers/zhong-2024-evaluation-openai-o1-opportunities-challenges/)
15. **[Clover: Closed-Loop Verifiable Code Generation](https://md.research.elamur.ai/free/en/papers/sun-2024-clover-closed-loop-verifiable-code/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Chuyue Sun, Ying Sheng, Oded Padon, et al.*2024 · 56 citations*
16. **[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*
17. [**Lean-STaR: Learning to Interleave Thinking and Proving arXiv:2407.10040**Haohan Lin, Zhiqing Sun, Sean Welleck, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/lin-2024-lean-star-learning-interleave-thinking/)
18. **[XCodeEval: An Execution-based Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and Retrieval](https://md.research.elamur.ai/free/en/papers/khan-2024-xcodeeval-execution-based-large-scale/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Mohammad Abdullah Matin Khan, M Saiful Bari, Xuan Long Do, et al.*2024 · 51 citations*
19. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/)
20. **[Deep Model Fusion: A Survey](https://md.research.elamur.ai/free/en/papers/li-2023-deep-model-fusion-survey/) [IEEE Transactions on Neural Networks and Learning Systems](https://md.research.elamur.ai/free/en/venues/ieee-transactions-on-neural-networks-and-learning-systems/)**Weishi Li, Yong Peng, Miao Zhang, et al.*2023 · 49 citations*
21. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)
22. [**DSBench: How Far Are Data Science Agents from Becoming Data Science Experts? arXiv:2409.07703**Liqiang Jing, Zhehui Huang, Xiaoyang Wang, et al.*2024 · 44 citations*](https://md.research.elamur.ai/free/en/papers/jing-2024-dsbench-far-data-science-agents/)
23. [**xCodeEval: A Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and Retrieval arXiv:2303.03004**Mohammad Abdullah Matin Khan, M Saiful Bari, Xuan Long Do, et al.*2023 · 42 citations*](https://md.research.elamur.ai/free/en/papers/khan-2023-xcodeeval-large-scale-multilingual-multitask/)
24. [**A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems arXiv:2504.09037**Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.*2025 · 39 citations*](https://md.research.elamur.ai/free/en/papers/ke-2025-survey-frontiers-llm-reasoning-inference/)
25. **[From Automation to Autonomy: A Survey on Large Language Models in Scientific Discovery](https://md.research.elamur.ai/free/en/papers/zheng-2025-automation-autonomy-survey-large/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Tianshi Zheng, Zheye Deng, Hong Ting Tsang, et al.*2025 · 39 citations*
26. [**NExT: Teaching Large Language Models to Reason about Code Execution arXiv:2404.14662**Ansong Ni, Miltiadis Allamanis, Arman Cohan, et al.*2024 · 30 citations*](https://md.research.elamur.ai/free/en/papers/ni-2024-next-teaching-large-language-models/)
27. **[Aristotle: IMO-level Automated Theorem Proving](https://md.research.elamur.ai/free/en/papers/achim-2025-aristotle-imo-level-automated-theorem/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Tudor Achim, Alex Best, Alberto Bietti, et al.*2025 · 29 citations*
28. [**Hilbert: Recursively Building Formal Proofs with Informal Reasoning arXiv:2509.22819**Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.*2025 · 26 citations*](https://md.research.elamur.ai/free/en/papers/varambally-2025-hilbert-recursively-building-formal-proofs/)
29. [**LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover arXiv:2407.17227**Zijian Wu, Jiayu Wang, Dahua Lin, et al.*2024 · 23 citations*](https://md.research.elamur.ai/free/en/papers/wu-2024-lean-github-compiling-github-lean/)
30. [**LLMSTEP: LLM proofstep suggestions in Lean arXiv:2310.18457**Sean Welleck, Rahul Saha*2023 · 22 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2023-llmstep-llm-proofstep-suggestions-lean/)
31. [**The Limits of Inference Scaling Through Resampling arXiv:2411.17501**Benedikt Stroebl, Sayash Kapoor, Arvind Narayanan*2024 · 21 citations*](https://md.research.elamur.ai/free/en/papers/stroebl-2024-limits-inference-scaling-through-resampling/)
32. **[Proving Theorems Recursively](https://md.research.elamur.ai/free/en/papers/wang-2024-proving-theorems-recursively/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Haiming Wang, Huajian Xin, Zhengying Liu, et al.*2024 · 19 citations*
33. **[Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification](https://md.research.elamur.ai/free/en/papers/liu-2025-safe-enhancing-mathematical-reasoning-large/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Chengwu Liu, Ye Yuan, Yichun Yin, et al.*2025 · 17 citations*
34. [**LLM-Assisted Code Cleaning For Training Accurate Code Generators arXiv:2311.14904**Naman Jain, Tianjun Zhang, Wei-Lin Chiang, et al.*2023 · 17 citations*](https://md.research.elamur.ai/free/en/papers/jain-2023-llm-assisted-code-cleaning-training/)
35. [**Mathematical exploration and discovery at scale arXiv:2511.02864**Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.*2025 · 16 citations*](https://md.research.elamur.ai/free/en/papers/georgiev-2025-mathematical-exploration-discovery-scale/)
36. [**Solving Formal Math Problems by Decomposition and Iterative Reflection arXiv:2507.15225**Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.*2025 · 16 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2025-solving-formal-math-problems-decomposition/)
37. [**Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs arXiv:2506.19923**Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.*2025 · 14 citations*](https://md.research.elamur.ai/free/en/papers/baba-2025-prover-agent-agent-based-framework/)
38. **[Prompting Large Language Models to Tackle the Full Software Development Lifecycle: A Case Study](https://md.research.elamur.ai/free/en/papers/li-2025-prompting-large-language-models-tackle/) [International Conference on Computational Linguistics (COLING)](https://md.research.elamur.ai/free/en/venues/coling/)**Bowen Li, Wenhan Wu, Ziwei Tang, et al.*2025 · 13 citations*
39. [**Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning arXiv:2502.13834**Zenan Li, Zhaoyu Li, Wen Tang, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/)
40. [**A Survey of AI Scientists arXiv:2510.23045**Guiyao Tie, Pan Zhou, Lichao Sun*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/tie-2025-survey-ai-scientists/)
41. [**ImProver: Agent-Based Automated Proof Optimization arXiv:2410.04753**Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, et al.*2024 · 5 citations*](https://md.research.elamur.ai/free/en/papers/ahuja-2024-improver-agent-based-automated-proof/)
42. **[Do Not Step Into the Same River Twice: Learning to Reason from Trial and Error](https://md.research.elamur.ai/free/en/papers/tang-2026-do-not-step-into-same/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Chenming Tang, Hsiu-Yuan Huang, Weijie Liu, et al.*2026 · 3 citations*
43. **[InsightEval: An Expert-Curated Benchmark for Assessing Insight Discovery in LLM-Driven Data Agents](https://md.research.elamur.ai/free/en/papers/zhu-2026-insighteval-expert-curated-benchmark-assessing/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Zhenghao Zhu, Yuanfeng Song, Xing Chen, et al.*2026 · 2 citations*
44. **[A Survey of Multimodal Mathematical Reasoning: From Perception, Alignment to Reasoning](https://md.research.elamur.ai/free/en/papers/yang-2026-survey-multimodal-mathematical-reasoning-perception/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Tianyu Yang, Sihong Wu, Yilun Zhao, et al.*2026*
45. **[Asking language models how to represent data for fine-tuning](https://md.research.elamur.ai/free/en/papers/singh-2026-asking-language-models-how-represent/) [Workshop on Structured Understanding, Retrieval, and Generation in the LLM Era](https://md.research.elamur.ai/free/en/venues/surgellm/)**Usneek Singh, Ananya Singha, Abhijeet Awasthi, et al.*2026*
46. **[HybridCodeAuthorship: A Benchmark Dataset for Line-Level Code Authorship Detection](https://md.research.elamur.ai/free/en/papers/patterson-2026-hybridcodeauthorship-benchmark-dataset-line-level/) [Language Resources and Evaluation Conference (LREC)](https://md.research.elamur.ai/free/en/venues/lrec/)**Luke S. Patterson, Li Wang, Adam Faulkner*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/yeming-wen/) — Yeming Wen