🧑‍🔬 Who cites Xia Xiao

136 citations of their works from 129 papers of our library (of the 149,439 whose bibliographies we read) · 65 with a page here, the most cited first · ← Xia Xiao

1. 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
2. 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
3. REINFORCE++: Stabilizing Critic-Free Policy Optimization with Global Advantage NormalizationarXiv:2501.03262Jian Hu, Jason Klein Liu, Haotian Xu, et al.2025 · 104 citations
4. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
5. Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI ArchitecturesProceedings - International Symposium on Computer Architecture/ProceedingsChenggang Zhao, Chengqi Deng, Chong Ruan, et al.2025 · 74 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. MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning AttentionarXiv:2506.13585MiniMax, Aili Chen, Aonian Li, et al.2025 · 66 citations
8. WebDancer: Towards Autonomous Information Seeking AgencyConference on Neural Information Processing Systems (NeurIPS)Jialong Wu, Baixuan Li, Runnan Fang, et al.2025 · 50 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. MiMo: Unlocking the Reasoning Potential of Language Model — From Pretraining to PosttrainingarXiv:2505.07608LLM-Core Xiaomi, Bingquan Xia, Bowen Shen, et al.2025 · 37 citations
11. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language ModelsarXiv:2505.02735Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.2025 · 31 citations
12. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
13. Seed Diffusion: A Large-Scale Diffusion Language Model with High-Speed InferencearXiv:2508.02193Yuxuan Song, Zheng Zhang, Cheng Luo, et al.2025 · 28 citations
14. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
15. Seed-Coder: Let the Code Model Curate Data for ItselfarXiv:2506.03524ByteDance Seed, Yuyu Zhang, Jing Su, et al.2025 · 25 citations
16. AceReason-Nemotron 1.1: Advancing Math and Code Reasoning through SFT and RL SynergyarXiv:2506.13284Zihan Liu, Zhuolin Yang, Yang Chen, et al.2025 · 21 citations
17. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
18. Leanabell-Prover: Posttraining Scaling in Formal ReasoningarXiv:2504.06122Jingyuan Zhang, Qi Wang, Xingguang Ji, et al.2025 · 21 citations
19. CombiBench: Benchmarking LLM Capability for Combinatorial MathematicsarXiv:2505.03171Junqi Liu, Xiaohan Lin, Jonas Bayer, et al.2025 · 20 citations
20. The Art of Scaling Reinforcement Learning Compute for LLMsarXiv:2510.13786Devvrit Khatri, Lovish Madaan, Rishabh Tiwari, et al.2025 · 20 citations
21. WideSearch: Benchmarking Agentic Broad Info-SeekingarXiv:2508.07999Ryan Wong, Jiawei Wang, Junjie Zhao, 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. VerIF: Verification Engineering for Reinforcement Learning in Instruction FollowingConference on Empirical Methods in Natural Language Processing (EMNLP)Hao Peng, Yunjia Qi, Xiaozhi Wang, et al.2025 · 18 citations
24. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal ReasoningConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 17 citations
25. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
26. CodeContests+: High-Quality Test Case Generation for Competitive ProgrammingFindings of the Association for Computational LinguisticsZihan Wang, Siyao Liu, Yang Sun, et al.2025 · 16 citations
27. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
28. 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
29. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
30. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
31. Prolonged Reasoning Is Not All You Need: Certainty-Based Adaptive Routing for Efficient LLM/MLLM ReasoningarXiv:2505.15154Jinghui Lu, Haiyang Yu, Siliang Xu, et al.2025 · 11 citations
32. What Makes a Good Reasoning Chain? Uncovering Structural Patterns in Long Chain-of-Thought ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Gangwei Jiang, Yahui Liu, Zhaoyi Li, et al.2025 · 11 citations
33. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
34. Mathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citations
35. ReviewRL: Towards Automated Scientific Review with RLConference on Empirical Methods in Natural Language Processing (EMNLP)Sihang Zeng, Kai Tian, Kaiyan Zhang, et al.2025 · 9 citations
36. PAG: Multi-Turn Reinforced LLM Self-Correction with Policy as Generative VerifierarXiv:2506.10406Yuhua Jiang, Yuwen Xiong, Yufeng Yuan, et al.2025 · 8 citations
37. NOVER: Incentive Training for Language Models via Verifier-Free Reinforcement LearningConference on Empirical Methods in Natural Language Processing (EMNLP)Wei Liu, Siya Qi, Xinyu Wang, et al.2025 · 7 citations
38. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citations
39. 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
40. rStar2-Agent: Agentic Reasoning Technical ReportarXiv:2508.20722Ning Shang, Yifei Liu, Yi Zhu, et al.2025 · 6 citations
41. DeepPlanning: Benchmarking Long-Horizon Agentic Planning with Verifiable ConstraintsAnnual Meeting of the Association for Computational Linguistics (ACL)Yinger Zhang, Shutong Jiang, Renhao Li, et al.2026 · 5 citations
42. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
43. StepFun-Prover Preview: Let's Think and Verify Step by SteparXiv:2507.20199Shijie Shang, Ruosi Wan, Yue Peng, et al.2025 · 5 citations
44. Teach Small Models to Reason by Curriculum DistillationConference on Empirical Methods in Natural Language Processing (EMNLP)Wangyi Jiang, Yaojie Lu, Hongyu Lin, et al.2025 · 5 citations
45. Kimi-Dev: Agentless Training as Skill Prior for SWE-AgentsarXiv:2509.23045Zonghan Yang, Shengjie Wang, Kelin Fu, et al.2025 · 4 citations
46. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
47. MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data CurationConference on Neural Information Processing Systems (NeurIPS)Zhenwen Liang, Linfeng Song, Yang Li, et al.2025 · 4 citations
48. Instructions are all you need: Self-supervised Reinforcement Learning for Instruction FollowingAnnual Meeting of the Association for Computational Linguistics (ACL)Qingyu Ren, Qianyu He, Powei Chang, et al.2026 · 3 citations
49. MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Weikang Shi, Aldrich Yu, Rongyao Fang, et al.2026 · 3 citations
50. Scaling Laws for Code: A More Data-Hungry RegimeAnnual Meeting of the Association for Computational Linguistics (ACL)Xianzhen Luo, Wenzhen Zheng, Qingfu Zhu, et al.2026 · 3 citations
51. 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
52. SpecAgent: A Speculative Retrieval and Forecasting Agent for Code CompletionAnnual Meeting of the Association for Computational Linguistics (ACL)George Ma, Anurag Koul, Qi Chen, et al.2026 · 1 citation
53. V-GameGym: Visual Game Generation for Code Large Language ModelsFindings of the Association for Computational LinguisticsWei Zhang, Jian Yang, Renshuai Tao, et al.2026 · 1 citation
54. ARM2: Adaptive Reasoning Model with Vision Understanding and Executable CodeFindings of the Association for Computational LinguisticsJian Xie, Zhendong Chu, Aoxiao Zhong, et al.2026
55. Beyond Reasoning Gains: Mitigating General-Capability Forgetting in Large Reasoning ModelsFindings of the Association for Computational LinguisticsHoang Phan, Xianjun Yang, Yuanshun Yao, et al.2026
56. CodeRM-NT: Reward Model for Code RL without Unit TestsFindings of the Association for Computational LinguisticsXiao Xia, Dan Zhang, Tianrui Sun2026
57. JanusMM: A Benchmark for Self-Deprecation Understanding in Real-World Multimodal ConversationsAnnual Meeting of the Association for Computational Linguistics (ACL)Xinyi Xu, Bingguang Hao, Yongyi Xiong, et al.2026
58. MMSciCode: Real-world Evaluation of Multilingual Multi-Discipline Scientific Research CodingAnnual Meeting of the Association for Computational Linguistics (ACL)Xue Xia, Zheyuan Yang, Arman Cohan, et al.2026
59. PARIF: Pushing the Pareto Frontier of Instruction Following and Reasoning with Curriculum Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Rongchuan Mu, Zexin Wang, Qianyu Wang, et al.2026
60. PRIME: A Process-Outcome Alignment Benchmark for Verifiable Reasoning in Mathematics and EngineeringAnnual Meeting of the Association for Computational Linguistics (ACL)Xiangfeng Wang, Hangyu Guo, Yanlin Lai, et al.2026
61. ReflectRM: Boosting Generative Reward Models via Self-Reflection within a Unified Judgment FrameworkAnnual Meeting of the Association for Computational Linguistics (ACL)Kai Qin, Liangxin Liu, Yu Liang, et al.2026
62. RepoDistill: Distilling Repository Knowledge through Compression-Aware Budget Allocation and Policy OptimizationFindings of the Association for Computational LinguisticsXin Yin, Zixiang Ding, Yiang Zhang, et al.2026
63. ROMA: Real-time Omni-Multimodal Assistant with Interactive Streaming UnderstandingFindings of the Association for Computational LinguisticsTian Xueyun, Wei Li, Bingbing Xu, et al.2026
64. UniGeM: Unifying Data Selection and Mixing via Geometric Exploration and MiningFindings of the Association for Computational LinguisticsChanghao Wang, Yunfeiyu, Xinhao Yao, et al.2026
65. V-RoLoRA: RLVR-Driven MoE Routing for Steerable Pluralistic AlignmentFindings of the Association for Computational LinguisticsJing Wang, Yaomin Wu, Yinglin Wang, et al.2026

64 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/xia-xiao/cited-by/