---
title: "Who cites Haoxiong Liu — 52 papers of our library"
description: "52 papers of the Elamur Research library cite the works of Haoxiong Liu, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/haoxiong-liu/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/haoxiong-liu/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Haoxiong Liu](https://md.research.elamur.ai/free/en/authors/haoxiong-liu/) / cited by

# 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](https://md.research.elamur.ai/free/en/authors/haoxiong-liu/)

1. [**WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct arXiv:2308.09583**Haipeng Luo, Qingfeng Sun, Can Xu, et al.*2023 · 372 citations*](https://md.research.elamur.ai/free/en/papers/luo-2023-wizardmath-empowering-mathematical-reasoning-large/)
2. [**Improve Mathematical Reasoning in Language Models by Automated Process Supervision arXiv:2406.06592**Liangchen Luo, Yinxiao Liu, Rosanne Liu, et al.*2024 · 168 citations*](https://md.research.elamur.ai/free/en/papers/luo-2024-improve-mathematical-reasoning-language-models/)
3. [**Best Practices and Lessons Learned on Synthetic Data arXiv:2404.07503**Ruibo Liu, Jerry Wei, Fangyu Liu, et al.*2024 · 119 citations*](https://md.research.elamur.ai/free/en/papers/liu-2024-best-practices-lessons-learned-synthetic/)
4. [**InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning arXiv:2402.06332**Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.*2024 · 90 citations*](https://md.research.elamur.ai/free/en/papers/ying-2024-internlm-math-open-math-large/)
5. **[Evaluating Mathematical Reasoning Beyond Accuracy](https://md.research.elamur.ai/free/en/papers/xia-2024-evaluating-mathematical-reasoning-accuracy/) [Proceedings of the AAAI Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-aaai-conference-on-artificial-intelligence/)**Shijie Xia, Xuefeng Li, Yixin Liu, et al.*2024 · 85 citations*
6. [**DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving arXiv:2407.13690**Yuxuan Tong, Xiwen Zhang, Rui Wang, et al.*2024 · 81 citations*](https://md.research.elamur.ai/free/en/papers/tong-2024-dart-math-difficulty-aware-rejection/)
7. [**DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning arXiv:2504.11456**Zhiwei He, Tian Liang, Jiahao Xu, et al.*2025 · 78 citations*](https://md.research.elamur.ai/free/en/papers/he-2025-deepmath-103k-large-scale-challenging/)
8. **[MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMs](https://md.research.elamur.ai/free/en/papers/lu-2024-mathgenie-generating-synthetic-data-question/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zimu Lu, Aojun Zhou, Houxing Ren, et al.*2024 · 58 citations*
9. **[Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/huang-2024-key-point-driven-data-synthesis/) [Proceedings of the AAAI Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-aaai-conference-on-artificial-intelligence/)**Yiming Huang, Xiao Liu, Yeyun Gong, et al.*2024 · 45 citations*
10. **[JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models](https://md.research.elamur.ai/free/en/papers/zhou-2024-jiuzhang3-0-efficiently-improving-mathematical/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kun Zhou, Beichen Zhang, Jiapeng Wang, et al.*2024 · 29 citations*
11. **[A Survey on Large Language Models for Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/wang-2025-survey-large-language-models-mathematical/) [ACM Computing Surveys](https://md.research.elamur.ai/free/en/venues/acm-computing-surveys/)**Peng-Yuan Wang, Tian-Shuo Liu, Chenyang Wang, et al.*2025 · 26 citations*
12. **[NaturalReasoning: Reasoning in the Wild with 2.8M Challenging Questions](https://md.research.elamur.ai/free/en/papers/yuan-2025-naturalreasoning-reasoning-wild-2-8m/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Weizhe Yuan, Jane Yu, Song Jiang, et al.*2025 · 26 citations*
13. [**Entropy-Regularized Process Reward Model arXiv:2412.11006**Hanning Zhang, Pengcheng Wang, Shizhe Diao, et al.*2024 · 17 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2024-entropy-regularized-process-reward-model/)
14. **[CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.*2026 · 12 citations*
15. [**Autoformalization in the Era of Large Language Models: A Survey arXiv:2505.23486**Ke Weng, Lun Du, Sirui Li, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/weng-2025-autoformalization-era-large-language-models/)
16. **[MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction Fusion](https://md.research.elamur.ai/free/en/papers/pei-2025-mathfusion-enhancing-mathematical-problem-solving/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Qizhi Pei, Lijun Wu, Zhuoshi Pan, et al.*2025 · 10 citations*
17. [**Mathesis: Towards Formal Theorem Proving from Natural Languages arXiv:2506.07047**Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/xuejun-2025-mathesis-towards-formal-theorem-proving/)
18. [**StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion arXiv:2508.04440**Yutong Wu, Di Huang, Ruosi Wan, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/wu-2025-stepfun-formalizer-unlocking-autoformalization/)
19. [**ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization arXiv:2510.15981**Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/cabral-2025-proofflow-dependency-graph-approach-faithful/)
20. **[MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation](https://md.research.elamur.ai/free/en/papers/liang-2025-mps-prover-advancing-stepwise-theorem/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zhenwen Liang, Linfeng Song, Yang Li, et al.*2025 · 4 citations*
21. **[Learning from Contrasts: Synthesizing Reasoning Paths from Diverse Search Trajectories](https://md.research.elamur.ai/free/en/papers/liu-2026-learning-contrasts-synthesizing-reasoning-paths/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Reasoner](https://md.research.elamur.ai/free/en/papers/wu-2026-flair-steering-llm-mathematical-problem/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Hao Wu, Hongru Sun, Wanqing Li, et al.*2026*
23. **[RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library](https://md.research.elamur.ai/free/en/papers/wang-2026-rv-syn-rational-verifiable-mathematical/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jiapeng Wang, Jinhao Jiang, Zhiqiang Zhang, et al.*2026*

29 more citing papers of our library have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/authors/haoxiong-liu/) — Haoxiong Liu