🧑‍🔬 Who cites Haoxiong Liu

52 citations of their works from 52 papers of our library (of the 149,439 whose bibliographies we read) · 23 with a page here, the most cited first · ← Haoxiong Liu

1. WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-InstructarXiv:2308.09583Haipeng Luo, Qingfeng Sun, Can Xu, et al.2023 · 372 citations
2. Improve Mathematical Reasoning in Language Models by Automated Process SupervisionarXiv:2406.06592Liangchen Luo, Yinxiao Liu, Rosanne Liu, et al.2024 · 168 citations
3. Best Practices and Lessons Learned on Synthetic DataarXiv:2404.07503Ruibo Liu, Jerry Wei, Fangyu Liu, et al.2024 · 119 citations
4. InternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningarXiv:2402.06332Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.2024 · 90 citations
5. Evaluating Mathematical Reasoning Beyond AccuracyProceedings of the AAAI Conference on Artificial IntelligenceShijie Xia, Xuefeng Li, Yixin Liu, et al.2024 · 85 citations
6. DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-SolvingarXiv:2407.13690Yuxuan Tong, Xiwen Zhang, Rui Wang, et al.2024 · 81 citations
7. DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing ReasoningarXiv:2504.11456Zhiwei He, Tian Liang, Jiahao Xu, et al.2025 · 78 citations
8. MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMsAnnual Meeting of the Association for Computational Linguistics (ACL)Zimu Lu, Aojun Zhou, Houxing Ren, et al.2024 · 58 citations
9. 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
10. JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis ModelsConference on Neural Information Processing Systems (NeurIPS)Kun Zhou, Beichen Zhang, Jiapeng Wang, et al.2024 · 29 citations
11. A Survey on Large Language Models for Mathematical ReasoningACM Computing SurveysPeng-Yuan Wang, Tian-Shuo Liu, Chenyang Wang, et al.2025 · 26 citations
12. NaturalReasoning: Reasoning in the Wild with 2.8M Challenging QuestionsConference on Neural Information Processing Systems (NeurIPS)Weizhe Yuan, Jane Yu, Song Jiang, et al.2025 · 26 citations
13. Entropy-Regularized Process Reward ModelarXiv:2412.11006Hanning Zhang, Pengcheng Wang, Shizhe Diao, et al.2024 · 17 citations
14. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.2026 · 12 citations
15. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
16. MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction FusionAnnual Meeting of the Association for Computational Linguistics (ACL)Qizhi Pei, Lijun Wu, Zhuoshi Pan, et al.2025 · 10 citations
17. Mathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citations
18. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
19. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
20. 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
21. Learning from Contrasts: Synthesizing Reasoning Paths from Diverse Search TrajectoriesAnnual Meeting of the Association for Computational Linguistics (ACL)Peiyang Liu, Zhirui Chen, Xi Wang, et al.2026 · 1 citation
22. FLAIR: Steering LLM Mathematical Problem Solving based on A Fuzzy-Logic-AssIsted ReasonerAnnual Meeting of the Association for Computational Linguistics (ACL)Hao Wu, Hongru Sun, Wanqing Li, et al.2026
23. RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function LibraryFindings of the Association for Computational LinguisticsJiapeng Wang, Jinhao Jiang, Zhiqiang Zhang, et al.2026

29 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/haoxiong-liu/cited-by/