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

1. PaLM 2 Technical ReportarXiv:2305.10403Rohan Anil, Andrew M. Dai, Orhan Firat, et al.2023 · 1,000 citations
2. SWE-bench: Can Language Models Resolve Real-World GitHub Issues?arXiv:2310.06770Carlos E. Jimenez, John Yang, Alexander Wettig, et al.2024 · 704 citations
3. LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for CodearXiv:2403.07974Naman Jain, King Han, Alex Gu, et al.2024 · 578 citations
4. SWE-agent: Agent-Computer Interfaces Enable Automated Software EngineeringConference on Neural Information Processing Systems (NeurIPS)John Yang, Carlos E. Jimenez, Alexander Wettig, et al.2024 · 552 citations
5. AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
6. KernelBench: Can LLMs Write Efficient GPU Kernels?arXiv:2502.10517Anne Ouyang, Simon Guo, Simran Arora, et al.2025 · 178 citations
7. CRUXEval: A Benchmark for Code Reasoning, Understanding and ExecutionarXiv:2401.03065Alex Gu, Baptiste Rozière, Hugh Leather, et al.2024 · 122 citations
8. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
9. InterCode: Standardizing and Benchmarking Interactive Coding with Execution FeedbackConference on Neural Information Processing Systems (NeurIPS)John Yang, Akshara Prabhakar, Karthik Narasimhan, et al.2023 · 95 citations
10. 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
11. Universal Self-Consistency for Large Language Model GenerationarXiv:2311.17311Xinyun Chen, Renat Aksitov, Uri Alon, et al.2023 · 92 citations
12. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
13. SciCode: A Research Coding Benchmark Curated by ScientistsConference on Neural Information Processing Systems (NeurIPS)Minyang Tian, Luyu Gao, Shizhuo Dylan Zhang, et al.2024 · 75 citations
14. Evaluation of OpenAI o1: Opportunities and Challenges of AGIarXiv:2409.18486Tianyang Zhong, Zhengliang Liu, Yi Pan, et al.2024 · 64 citations
15. Clover: Closed-Loop Verifiable Code GenerationLecture notes in computer scienceChuyue Sun, Ying Sheng, Oded Padon, et al.2024 · 56 citations
16. Parsel: Algorithmic Reasoning with Language Models by Composing DecompositionsConference on Neural Information Processing Systems (NeurIPS)Eric Zelikman, Qian Huang, Gabriel Poesia, et al.2023 · 56 citations
17. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
18. XCodeEval: An Execution-based Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and RetrievalAnnual Meeting of the Association for Computational Linguistics (ACL)Mohammad Abdullah Matin Khan, M Saiful Bari, Xuan Long Do, et al.2024 · 51 citations
19. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
20. Deep Model Fusion: A SurveyIEEE Transactions on Neural Networks and Learning SystemsWeishi Li, Yong Peng, Miao Zhang, et al.2023 · 49 citations
21. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
22. DSBench: How Far Are Data Science Agents from Becoming Data Science Experts?arXiv:2409.07703Liqiang Jing, Zhehui Huang, Xiaoyang Wang, et al.2024 · 44 citations
23. xCodeEval: A Large Scale Multilingual Multitask Benchmark for Code Understanding, Generation, Translation and RetrievalarXiv:2303.03004Mohammad Abdullah Matin Khan, M Saiful Bari, Xuan Long Do, et al.2023 · 42 citations
24. A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
25. From Automation to Autonomy: A Survey on Large Language Models in Scientific DiscoveryConference on Empirical Methods in Natural Language Processing (EMNLP)Tianshi Zheng, Zheye Deng, Hong Ting Tsang, et al.2025 · 39 citations
26. NExT: Teaching Large Language Models to Reason about Code ExecutionarXiv:2404.14662Ansong Ni, Miltiadis Allamanis, Arman Cohan, et al.2024 · 30 citations
27. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
28. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
29. LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN proverarXiv:2407.17227Zijian Wu, Jiayu Wang, Dahua Lin, et al.2024 · 23 citations
30. LLMSTEP: LLM proofstep suggestions in LeanarXiv:2310.18457Sean Welleck, Rahul Saha2023 · 22 citations
31. The Limits of Inference Scaling Through ResamplingarXiv:2411.17501Benedikt Stroebl, Sayash Kapoor, Arvind Narayanan2024 · 21 citations
32. Proving Theorems RecursivelyConference on Neural Information Processing Systems (NeurIPS)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 VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Chengwu Liu, Ye Yuan, Yichun Yin, et al.2025 · 17 citations
34. LLM-Assisted Code Cleaning For Training Accurate Code GeneratorsarXiv:2311.14904Naman Jain, Tianjun Zhang, Wei-Lin Chiang, et al.2023 · 17 citations
35. Mathematical exploration and discovery at scalearXiv:2511.02864Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.2025 · 16 citations
36. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
37. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
38. Prompting Large Language Models to Tackle the Full Software Development Lifecycle: A Case StudyInternational Conference on Computational Linguistics (COLING)Bowen Li, Wenhan Wu, Ziwei Tang, et al.2025 · 13 citations
39. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
40. A Survey of AI ScientistsarXiv:2510.23045Guiyao Tie, Pan Zhou, Lichao Sun2025 · 5 citations
41. ImProver: Agent-Based Automated Proof OptimizationarXiv:2410.04753Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, et al.2024 · 5 citations
42. Do Not Step Into the Same River Twice: Learning to Reason from Trial and ErrorAnnual Meeting of the Association for Computational Linguistics (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 AgentsFindings of the Association for Computational LinguisticsZhenghao Zhu, Yuanfeng Song, Xing Chen, et al.2026 · 2 citations
44. A Survey of Multimodal Mathematical Reasoning: From Perception, Alignment to ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Tianyu Yang, Sihong Wu, Yilun Zhao, et al.2026
45. Asking language models how to represent data for fine-tuningWorkshop on Structured Understanding, Retrieval, and Generation in the LLM EraUsneek Singh, Ananya Singha, Abhijeet Awasthi, et al.2026
46. HybridCodeAuthorship: A Benchmark Dataset for Line-Level Code Authorship DetectionLanguage Resources and Evaluation Conference (LREC)Luke S. Patterson, Li Wang, Adam Faulkner2026

85 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/yeming-wen/cited-by/