Who cites Luong Trung
- Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
- 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
- V-STaR: Training Verifiers for Self-Taught ReasonersarXiv:2402.06457Arian Hosseini, Xingdi Yuan, Nikolay Malkin, et al.2024 · 114 citations
- ReTool: Reinforcement Learning for Strategic Tool Use in LLMsarXiv:2504.11536Jiazhan Feng, Shijue Huang, Xingwei Qu, et al.2025 · 88 citations
- HuatuoGPT-o1, Towards Medical Complex Reasoning with LLMsarXiv:2412.18925Junying Chen, Zhenyang Cai, Ke Ji, et al.2024 · 87 citations
- 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
- 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
- VinePPO: Refining Credit Assignment in RL Training of LLMsarXiv:2410.01679Amirhossein Kazemnejad, Milad Aghajohari, Eva Portelance, et al.2024 · 63 citations
- DeepSeek-R1 Thoughtology: Let's think about LLM ReasoningarXiv:2504.07128Sara Vera Marjanovic, Arkil Patel, Vaibhav Adlakha, et al.2025 · 47 citations
- The Unreasonable Effectiveness of Entropy Minimization in LLM ReasoningConference on Neural Information Processing Systems (NeurIPS)Shivam Agarwal, Zimin Zhang, Lifan Yuan, et al.2025 · 47 citations
- Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
- Key-Point-Driven Data Synthesis with its Enhancement on Mathematical ReasoningProceedings of the AAAI Conference on Artificial IntelligenceYiming Huang, Xiao Liu, Yeyun Gong, et al.2024 · 45 citations
- Can 1B LLM Surpass 405B LLM? Rethinking Compute-Optimal Test-Time ScalingarXiv:2502.06703Runze Liu, Junqi Gao, Jian Zhao, et al.2025 · 41 citations
- RedStar: Does Scaling Long-CoT Data Unlock Better Slow-Reasoning Systems?arXiv:2501.11284Haotian Xu, Xing Wu, Weinong Wang, et al.2025 · 37 citations
- Self-Refine Instruction-Tuning for Aligning Reasoning in Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Leonardo Ranaldi, Andre Freitas2024 · 35 citations
- AgentGym: Evolving Large Language Model-based Agents across Diverse EnvironmentsarXiv:2406.04151Zhiheng Xi, Yiwen Ding, Wenxiang Chen, et al.2024 · 33 citations
- Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
- A Survey on Large Language Models for Mathematical ReasoningACM Computing SurveysPeng-Yuan Wang, Tian-Shuo Liu, Chenyang Wang, et al.2025 · 26 citations
- Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
- Towards Scientific Intelligence: A Survey of LLM-based Scientific AgentsarXiv:2503.24047Shuo Ren, Can Xie, Pu Jian, et al.2025 · 24 citations
- ReARTeR: Retrieval-Augmented Reasoning with Trustworthy Process RewardingInternational ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR)Zhongxiang Sun, Qipeng Wang, Weijie Yu, et al.2025 · 22 citations
- Reasoning-to-Defend: Safety-Aware Reasoning Can Defend Large Language Models from JailbreakingConference on Empirical Methods in Natural Language Processing (EMNLP)Junda Zhu, Lingyong Yan, Shuaiqiang Wang, et al.2025 · 21 citations
- 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
- CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome RewardConference on Empirical Methods in Natural Language Processing (EMNLP)Shudong Liu, Hongwei Liu, Junnan Liu, et al.2025 · 16 citations
- 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
- Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
- RoT: Enhancing Table Reasoning with Iterative Row-Wise TraversalsConference on Empirical Methods in Natural Language Processing (EMNLP)Xuanliang Zhang, Dingzirui Wang, Keyan Xu, et al.2025 · 10 citations
- Nemotron-CrossThink: Scaling Self-Learning beyond Math ReasoningConference of the European Chapter of the Association for Computational Linguistics (EACL)Syeda Nahida Akter, Shrimai Prabhumoye, Matvei Novikov, et al.2026 · 9 citations
- 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
- Genius: A Generalizable and Purely Unsupervised Self-Training Framework For Advanced ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Fangzhi Xu, Hang Yan, Chang Ma, et al.2025 · 8 citations
- 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
- CURE-Med: Curriculum-Informed Reinforcement Learning for Multilingual Medical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Eric Onyame, Akash Ghosh, Subhadip Baidya, et al.2026 · 5 citations
- ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
- StepFun-Prover Preview: Let's Think and Verify Step by SteparXiv:2507.20199Shijie Shang, Ruosi Wan, Yue Peng, et al.2025 · 5 citations
- Guided by Gut: Efficient Test-Time Scaling with Reinforced Intrinsic ConfidenceAnnual Meeting of the Association for Computational Linguistics (ACL)Amirhosein Ghasemabadi, Keith G. Mills, Baochun Li, et al.2026 · 4 citations
- SAFE-QAQ: End-to-End Slow-Thinking Audio-Text Fraud Detection via Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Peidong Wang, Zhiming Ma, Xin Dai, et al.2026 · 3 citations
- 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
- Agentic Episodic ControlFindings of the Association for Computational LinguisticsXidong Yang, Wenhao Li, Junjie Sheng, et al.2026
- CoTEvol: Self-Evolving Chain-of-Thoughts for Data Synthesis in Mathematical ReasoningFindings of the Association for Computational LinguisticsZhuo Wang, Zhuo Zhang, Yafu Li, et al.2026
- GALA: Geometric Data Selection with Strategic Prospecting for Large Language Model Self-trainingFindings of the Association for Computational LinguisticsZhongwei Xie, Ruihao Liao, Zimo Wang, et al.2026
This page in Markdown → https://md.research.elamur.ai/free/en/authors/luong-trung/cited-by/