Elamur Research⌕
☰
home / authors / Xinbo Zhang / cited by

Who cites Xinbo Zhang

162 citations of their works from 156 papers of our library (of the 149,439 whose bibliographies we read) · 60 with a page here, the most cited first · ← Xinbo Zhang

  1. A Survey of Large Language ModelsFrontiers of Computer ScienceWayne Xin Zhao, Kun Zhou, Junyi Li, et al.2023 · 2,875 citations
  2. Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language ModelsarXiv:2501.09686Fengli Xu, Qianyue Hao, Zefang Zong, et al.2025 · 120 citations
  3. V-STaR: Training Verifiers for Self-Taught ReasonersarXiv:2402.06457Arian Hosseini, Xingdi Yuan, Nikolay Malkin, et al.2024 · 114 citations
  4. ReTool: Reinforcement Learning for Strategic Tool Use in LLMsarXiv:2504.11536Jiazhan Feng, Shijue Huang, Xingwei Qu, et al.2025 · 88 citations
  5. HuatuoGPT-o1, Towards Medical Complex Reasoning with LLMsarXiv:2412.18925Junying Chen, Zhenyang Cai, Ke Ji, et al.2024 · 87 citations
  6. A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?arXiv:2503.24235Qiyuan Zhang, Fuyuan Lyu, Zexu Sun, et al.2025 · 79 citations
  7. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
  8. VinePPO: Refining Credit Assignment in RL Training of LLMsarXiv:2410.01679Amirhossein Kazemnejad, Milad Aghajohari, Eva Portelance, et al.2024 · 63 citations
  9. DeepSeek-R1 Thoughtology: Let's think about LLM ReasoningarXiv:2504.07128Sara Vera Marjanovic, Arkil Patel, Vaibhav Adlakha, et al.2025 · 47 citations
  10. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
  11. Can 1B LLM Surpass 405B LLM? Rethinking Compute-Optimal Test-Time ScalingarXiv:2502.06703Runze Liu, Junqi Gao, Jian Zhao, et al.2025 · 41 citations
  12. RedStar: Does Scaling Long-CoT Data Unlock Better Slow-Reasoning Systems?arXiv:2501.11284Haotian Xu, Xing Wu, Weinong Wang, et al.2025 · 37 citations
  13. Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement LearningarXiv:2402.05808Zhiheng Xi, Wenxiang Chen, Boyang Hong, et al.2024 · 36 citations
  14. AgentGym: Evolving Large Language Model-based Agents across Diverse EnvironmentsarXiv:2406.04151Zhiheng Xi, Yiwen Ding, Wenxiang Chen, et al.2024 · 33 citations
  15. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
  16. A Survey on Large Language Models for Mathematical ReasoningACM Computing SurveysPeng-Yuan Wang, Tian-Shuo Liu, Chenyang Wang, et al.2025 · 26 citations
  17. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
  18. Logical Reasoning in Large Language Models: A SurveyarXiv:2502.09100Hanmeng Liu, Zhizhang Fu, Mengru Ding, et al.2025 · 25 citations
  19. Towards Scientific Intelligence: A Survey of LLM-based Scientific AgentsarXiv:2503.24047Shuo Ren, Can Xie, Pu Jian, et al.2025 · 24 citations
  20. Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical ReasoningarXiv:2407.00782Zimu Lu, Aojun Zhou, Ke Wang, et al.2024 · 23 citations
  21. Self-Evolving Curriculum for LLM ReasoningarXiv:2505.14970Xiaoyin Chen, Jiarui Lu, Minsu Kim, et al.2025 · 20 citations
  22. 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
  23. Harnessing the Reasoning Economy: A Survey of Efficient Reasoning for Large Language ModelsarXiv:2503.24377Rui Wang, Hongru Wang, Boyang Xue, et al.2025 · 16 citations
  24. ChemAgent: Self-updating Library in Large Language Models Improves Chemical ReasoningarXiv:2501.06590Xiangru Tang, Tianyu Hu, Muyang Ye, et al.2025 · 15 citations
  25. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
  26. Understanding Chain-of-Thought in LLMs through Information TheoryarXiv:2411.11984Jean-Francois Ton, Muhammad Faaiz Taufiq, Yang Liu2024 · 14 citations
  27. 100 Days After DeepSeek-R1: A Survey on Replication Studies and More Directions for Reasoning Language ModelsarXiv:2505.00551Chong Zhang, Yue Deng, Xiang Lin, et al.2025 · 9 citations
  28. Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-ProversarXiv:2509.06493Ran Xin, Zeyu Zheng, Yanchen Nie, et al.2025 · 7 citations
  29. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
  30. StepFun-Prover Preview: Let's Think and Verify Step by SteparXiv:2507.20199Shijie Shang, Ruosi Wan, Yue Peng, et al.2025 · 5 citations
  31. 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
  32. A Cascade Reinforcement Learning Strategy for Efficiently Enhancing the Reasoning Ability of Multimodal Large Language Models (高效提升多模态大语言模型推理能力的级联强化学习策略)Acta Automatica Sinica (自动化学报)Weiyun Wang (王玮赟), Hengjun Pu (蒲恒骏), Linglin Jing (景凌林), et al.2026

96 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/xinbo-zhang/cited-by/