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

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Wenjun Gao](https://md.research.elamur.ai/free/en/authors/wenjun-gao/) / cited by

# Who cites Wenjun Gao

244 citations of their works from 189 papers of our library (of the 149,439 whose bibliographies we read) · 36 with a page here, the most cited first · [← Wenjun Gao](https://md.research.elamur.ai/free/en/authors/wenjun-gao/)

1. **[DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/deepseek-ai-2025-deepseek-r1-incentivizing-reasoning-capability/) [Nature](https://md.research.elamur.ai/free/en/venues/nature/)**DeepSeek-AI, Daya Guo, Dejian Yang, et al.*2025 · 4,728 citations*
2. [**L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning arXiv:2503.04697**Pranjal Aggarwal, Sean Welleck*2025 · 125 citations*](https://md.research.elamur.ai/free/en/papers/aggarwal-2025-l1-controlling-long-reasoning-model/)
3. [**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/)
4. [**Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning arXiv:2502.14768**Tian Xie, Zitian Gao, Qingnan Ren, et al.*2025 · 104 citations*](https://md.research.elamur.ai/free/en/papers/xie-2025-logic-rl-unleashing-llm/)
5. [**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/)
6. [**Vision-R1: Incentivizing Reasoning Capability in Multimodal Large Language Models arXiv:2503.06749**Wenxuan Huang, Bohan Jia, Zijie Zhai, et al.*2025 · 92 citations*](https://md.research.elamur.ai/free/en/papers/huang-2025-vision-r1-incentivizing-reasoning-capability/)
7. [**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/)
8. **[Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures](https://md.research.elamur.ai/free/en/papers/zhao-2025-insights-deepseek-v3-scaling/) [Proceedings - International Symposium on Computer Architecture/Proceedings](https://md.research.elamur.ai/free/en/venues/proceedings-international-symposium-on-computer-architecture-proceedings/)**Chenggang Zhao, Chengqi Deng, Chong Ruan, et al.*2025 · 74 citations*
9. [**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/)
10. [**Inference-Time Scaling for Generalist Reward Modeling arXiv:2504.02495**Zijun Liu, Peiyi Wang, Runxin Xu, et al.*2025 · 65 citations*](https://md.research.elamur.ai/free/en/papers/liu-2025-inference-time-scaling-generalist/)
11. **[Absolute Zero: Reinforced Self-play Reasoning with Zero Data](https://md.research.elamur.ai/free/en/papers/zhao-2025-absolute-zero-reinforced-self-play/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Andrew Zhao, Yiran Wu, Yang Yue, et al.*2025 · 57 citations*
12. **[Fire-Flyer AI-HPC: A Cost-Effective Software-Hardware Co-Design for Deep Learning](https://md.research.elamur.ai/free/en/papers/an-2024-fire-flyer-ai-hpc/) [2012 International Conference for High Performance Computing, Networking, Storage and Analysis](https://md.research.elamur.ai/free/en/venues/2012-international-conference-for-high-performance-computing-networking-storage/)**Wei An, Xiao Bi, Guanting Chen, et al.*2024 · 34 citations*
13. [**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/)
14. **[INVESTORBENCH: A Benchmark for Financial Decision-Making Tasks with LLM-based Agent](https://md.research.elamur.ai/free/en/papers/li-2025-investorbench-benchmark-financial-decision-making/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Haohang Li, Yupeng Cao, Yangyang Yu, et al.*2025 · 29 citations*
15. **[Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models](https://md.research.elamur.ai/free/en/papers/sun-2026-challenging-boundaries-reasoning-olympiad-level/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.*2026 · 25 citations*
16. [**HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving arXiv:2412.20735**Yang Li, Dong Du, Linfeng Song, et al.*2024 · 25 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-hunyuanprover-scalable-data-synthesis/)
17. **[Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective](https://md.research.elamur.ai/free/en/papers/yu-2025-chain-reasoning-unified-mathematical-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, et al.*2025 · 23 citations*
18. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/)
19. [**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/)
20. **[LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting Problems](https://md.research.elamur.ai/free/en/papers/xu-2025-llm-genius-paradox-linguistic-math/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Nan Xu, Xuezhe Ma*2025 · 17 citations*
21. **[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*
22. **[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*
23. **[Find Your Optimal Teacher: Personalized Data Synthesis via Router-Guided Multi-Teacher Distillation](https://md.research.elamur.ai/free/en/papers/zhang-2026-find-your-optimal-teacher-personalized/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Hengyuan Zhang, Shiping Yang, Xiao Liang, et al.*2026 · 13 citations*
24. **[CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.*2026 · 12 citations*
25. **[Scaling Reasoning, Losing Control: Evaluating Instruction Following in Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/fu-2026-scaling-reasoning-losing-control-evaluating/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Tingchen Fu, Yafu Li, Jiawei Gu, et al.*2026 · 12 citations*
26. [**The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs arXiv:2506.21621**Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/dekoninck-2025-open-proof-corpus-large-scale/)
27. [**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/)
28. [**ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization arXiv:2510.24592**Guoxin Chen, Jing Wu, Xinjie Chen, et al.*2025 · 8 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-reform-reflective-autoformalization-prospective-bounded/)
29. **[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*
30. [**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/)
31. **[Through the Valley: Path to Effective Long CoT Training for Small Language Models](https://md.research.elamur.ai/free/en/papers/luo-2025-through-valley-path-effective-long/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Renjie Luo, Jiaxi Li, Chen Huang, et al.*2025 · 7 citations*
32. **[Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.*2026 · 5 citations*
33. **[EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving](https://md.research.elamur.ai/free/en/papers/zhou-2026-engibench-benchmark-evaluating-large-language/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Xiyuan Zhou, Xinlei Wang, Yirui He, et al.*2026 · 3 citations*
34. [**Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving arXiv:2512.10739**Yuzhe Gu, Songyang Gao, Zijian Wu, et al.*2025 · 1 citation*](https://md.research.elamur.ai/free/en/papers/gu-2025-intern-s1-mo-long/)
35. **[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*
36. **[When Efficiency Becomes a Vulnerability: Computational Cost Attacks on WebAgents](https://md.research.elamur.ai/free/en/papers/ning-2026-when-efficiency-becomes-vulnerability-computational/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Liang-Bo Ning, Yuchen Zhu, Heqing Huang, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/wenjun-gao/) — Wenjun Gao