🧑‍🔬 Who cites Guorui Zhou

88 citations of their works from 87 papers of our library (of the 149,439 whose bibliographies we read) · 21 with a page here, the most cited first · ← Guorui Zhou

1. 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
2. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
3. Rethinking Entropy Interventions in RLVR: An Entropy Change PerspectiveAnnual Meeting of the Association for Computational Linguistics (ACL)Zhezheng Hao, Hong Wang, Haoyang Liu, et al.2026 · 22 citations
4. AttnPO: Attention-Guided Process Supervision for Efficient ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Shuaiyi Nie, Dingsiyu, Wenyuan Zhang, et al.2026 · 18 citations
5. FoE: Forest of Errors Makes the First Solution the Best in Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Kehan Jiang, Haonan Dong, Zhaolu Kang, et al.2026 · 15 citations
6. 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
7. NeuReasoner: Towards Explainable, Controllable, and Unified Reasoning via Mixture-of-NeuronsAnnual Meeting of the Association for Computational Linguistics (ACL)Haonan Dong, Kehan Jiang, Haoran Ye, et al.2026 · 13 citations
8. Step Potential Advantage Estimation: Harnessing Intermediate Confidence and Correctness for Efficient Mathematical ReasoningFindings of the Association for Computational LinguisticsFei Wu, Zhenrong Zhang, Qikai Chang, et al.2026 · 11 citations
9. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
10. Reinforced Efficient Reasoning via Semantically Diverse ExplorationAnnual Meeting of the Association for Computational Linguistics (ACL)Ziqi Zhao, Zhaochun Ren, Jiahong Zou, et al.2026 · 9 citations
11. MASPO: Unifying Gradient Utilization, Probability Mass, and Signal Reliability for Robust and Sample-Efficient LLM ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Xiaoliang Fu, Jiaye Lin, Yangyi Fang, et al.2026 · 7 citations
12. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
13. One Refiner to Unlock Them All: Inference-Time Reasoning Elicitation via Reinforcement Query RefinementAnnual Meeting of the Association for Computational Linguistics (ACL)Yixiao Zhou, Dongzhou Cheng, Zhiliang wu, et al.2026 · 2 citations
14. Entropy Ratio Clipping as a Soft Global Constraint for Stable Reinforcement LearningFindings of the Association for Computational LinguisticsZhenpeng Su, Leiyu Pan, Minxuan Lv, et al.2026 · 1 citation
15. AT\texttwosuperiorPO: Agentic Turn-based Policy Optimization via Tree SearchAnnual Meeting of the Association for Computational Linguistics (ACL)Zefang Zong, Dingwei Chen, Yang Li, et al.2026
16. Distributional Clarity: The Hidden Driver of RL-Friendliness in Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Shaoning Sun, Mingzhu Cai, Huang He, et al.2026
17. Good Reasoning Makes Good Demonstrations: Implicit Reasoning Quality Supervision via In-Context Reinforcement LearningFindings of the Association for Computational LinguisticsTiehua Mei, Minxuan Lv, Leiyu Pan, et al.2026
18. Intent-Driven Semantic ID Generation for Grounded Conversational News RecommendationAnnual Meeting of the Association for Computational Linguistics (ACL)Hongyang Su, Beibei Kong, Lei Cheng, et al.2026
19. Targeted Exploration via Unified Entropy Control for Reinforcement LearningFindings of the Association for Computational LinguisticsChen Wang, Lai Wei, Yanzhi Zhang, et al.2026
20. Travel on the ICD Tree: Benchmarking Agentic Reasoning for ICD Coding from Chinese Electronic Medical RecordsFindings of the Association for Computational LinguisticsXinjie Xu, Yongqi Fan, Shuang-shuang Chen, et al.2026
21. Unleashing the Native Recommendation Potential: LLM-Based Generative Recommendation via Structured Term IdentifiersFindings of the Association for Computational LinguisticsZhiyang Zhang, Junda She, Kuo Cai, et al.2026

66 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/guorui-zhou/cited-by/