🧑‍🔬 Who cites Wenjun Gao

244 citations of their works from 189 papers of our library (of the 149,439 whose bibliographies we read) · 31 with a page here, the most cited first · ← Wenjun Gao

1. DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement LearningNatureDeepSeek-AI, Daya Guo, Dejian Yang, et al.2025 · 4,728 citations
2. L1: Controlling How Long A Reasoning Model Thinks With Reinforcement LearningarXiv:2503.04697Pranjal Aggarwal, Sean Welleck2025 · 125 citations
3. 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
4. Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement LearningarXiv:2502.14768Tian Xie, Zitian Gao, Qingnan Ren, et al.2025 · 104 citations
5. Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI ArchitecturesProceedings - International Symposium on Computer Architecture/ProceedingsChenggang Zhao, Chengqi Deng, Chong Ruan, et al.2025 · 74 citations
6. Inference-Time Scaling for Generalist Reward ModelingarXiv:2504.02495Zijun Liu, Peiyi Wang, Runxin Xu, et al.2025 · 65 citations
7. Fire-Flyer AI-HPC: A Cost-Effective Software-Hardware Co-Design for Deep LearningarXiv:2408.14158Wei An, Xiao Bi, Guanting Chen, et al.2024 · 34 citations
8. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
9. INVESTORBENCH: A Benchmark for Financial Decision-Making Tasks with LLM-based AgentAnnual Meeting of the Association for Computational Linguistics (ACL)Haohang Li, Yupeng Cao, Yangyang Yu, et al.2025 · 29 citations
10. Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.2026 · 25 citations
11. HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem ProvingarXiv:2412.20735Yang Li, Dong Du, Linfeng Song, et al.2024 · 25 citations
12. Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm PerspectiveAnnual Meeting of the Association for Computational Linguistics (ACL)Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, et al.2025 · 23 citations
13. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
14. 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
15. LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting ProblemsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Nan Xu, Xuezhe Ma2025 · 17 citations
16. 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
17. 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
18. Find Your Optimal Teacher: Personalized Data Synthesis via Router-Guided Multi-Teacher DistillationAnnual Meeting of the Association for Computational Linguistics (ACL)Hengyuan Zhang, Shiping Yang, Xiao Liang, et al.2026 · 13 citations
19. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.2026 · 12 citations
20. Scaling Reasoning, Losing Control: Evaluating Instruction Following in Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Tingchen Fu, Yafu Li, Jiawei Gu, et al.2026 · 12 citations
21. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations
22. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
23. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
24. 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
25. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
26. Through the Valley: Path to Effective Long CoT Training for Small Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Renjie Luo, Jiaxi Li, Chen Huang, et al.2025 · 7 citations
27. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
28. EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem SolvingFindings of the Association for Computational LinguisticsXiyuan Zhou, Xinlei Wang, Yirui He, et al.2026 · 3 citations
29. Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem SolvingarXiv:2512.10739Yuzhe Gu, Songyang Gao, Zijian Wu, et al.2025 · 1 citation
30. 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
31. When Efficiency Becomes a Vulnerability: Computational Cost Attacks on WebAgentsAnnual Meeting of the Association for Computational Linguistics (ACL)Liang-Bo Ning, Yuchen Zhu, Heqing Huang, et al.2026

158 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/wenjun-gao/cited-by/