Who cites Kun Gai
- 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
- 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
- REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
- 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
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
- 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
- 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
- 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
- Targeted Exploration via Unified Entropy Control for Reinforcement LearningFindings of the Association for Computational LinguisticsChen Wang, Lai Wei, Yanzhi Zhang, et al.2026
This page in Markdown → https://md.research.elamur.ai/free/en/authors/kun-gai/cited-by/