Elamur Research⌕
☰
home / authors / Luong Trung / cited by

Who cites Luong Trung

120 citations of their works from 120 papers of our library (of the 149,439 whose bibliographies we read) · 44 with a page here, the most cited first · ← Luong Trung

  1. 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
  2. V-STaR: Training Verifiers for Self-Taught ReasonersarXiv:2402.06457Arian Hosseini, Xingdi Yuan, Nikolay Malkin, et al.2024 · 114 citations
  3. ReTool: Reinforcement Learning for Strategic Tool Use in LLMsarXiv:2504.11536Jiazhan Feng, Shijue Huang, Xingwei Qu, et al.2025 · 88 citations
  4. HuatuoGPT-o1, Towards Medical Complex Reasoning with LLMsarXiv:2412.18925Junying Chen, Zhenyang Cai, Ke Ji, et al.2024 · 87 citations
  5. 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
  6. 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
  7. VinePPO: Refining Credit Assignment in RL Training of LLMsarXiv:2410.01679Amirhossein Kazemnejad, Milad Aghajohari, Eva Portelance, et al.2024 · 63 citations
  8. DeepSeek-R1 Thoughtology: Let's think about LLM ReasoningarXiv:2504.07128Sara Vera Marjanovic, Arkil Patel, Vaibhav Adlakha, et al.2025 · 47 citations
  9. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
  10. Can 1B LLM Surpass 405B LLM? Rethinking Compute-Optimal Test-Time ScalingarXiv:2502.06703Runze Liu, Junqi Gao, Jian Zhao, et al.2025 · 41 citations
  11. RedStar: Does Scaling Long-CoT Data Unlock Better Slow-Reasoning Systems?arXiv:2501.11284Haotian Xu, Xing Wu, Weinong Wang, et al.2025 · 37 citations
  12. AgentGym: Evolving Large Language Model-based Agents across Diverse EnvironmentsarXiv:2406.04151Zhiheng Xi, Yiwen Ding, Wenxiang Chen, et al.2024 · 33 citations
  13. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
  14. A Survey on Large Language Models for Mathematical ReasoningACM Computing SurveysPeng-Yuan Wang, Tian-Shuo Liu, Chenyang Wang, et al.2025 · 26 citations
  15. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
  16. Towards Scientific Intelligence: A Survey of LLM-based Scientific AgentsarXiv:2503.24047Shuo Ren, Can Xie, Pu Jian, et al.2025 · 24 citations
  17. 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
  18. 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
  19. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
  20. 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
  21. 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
  22. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
  23. StepFun-Prover Preview: Let's Think and Verify Step by SteparXiv:2507.20199Shijie Shang, Ruosi Wan, Yue Peng, et al.2025 · 5 citations
  24. 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

76 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/luong-trung/cited-by/