--- title: "Who cites Xiaoxing Ma — 37 papers of our library" description: "37 papers of the Elamur Research library cite the works of Xiaoxing Ma, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/xiaoxing-ma/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/xiaoxing-ma/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Xiaoxing Ma](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/) / cited by # Who cites Xiaoxing Ma 38 citations of their works from 37 papers of our library (of the 149,439 whose bibliographies we read) · 15 with a page here, the most cited first · [← Xiaoxing Ma](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/) 1. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/) 2. [**A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems arXiv:2504.09037**Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.*2025 · 39 citations*](https://md.research.elamur.ai/free/en/papers/ke-2025-survey-frontiers-llm-reasoning-inference/) 3. [**Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 arXiv:2502.03544**Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.*2025 · 31 citations*](https://md.research.elamur.ai/free/en/papers/chervonyi-2025-gold-medalist-performance-solving-olympiad/) 4. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.*2025 · 16 citations* 5. [**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/) 6. **[Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions](https://md.research.elamur.ai/free/en/papers/zhang-2025-autoformalization-wild-assessing-llms-real/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Lan Zhang, Marco Valentino, Andre Freitas*2025 · 11 citations* 7. [**Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning arXiv:2502.13834**Zenan Li, Zhaoyu Li, Wen Tang, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/) 8. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.*2025 · 9 citations* 9. **[LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning](https://md.research.elamur.ai/free/en/papers/jiang-2025-logicpro-improving-complex-logical-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jin Jiang, Yuchen Yan, Yang Liu, et al.*2025 · 8 citations* 10. **[Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models](https://md.research.elamur.ai/free/en/papers/cao-2025-reviving-dsp-advanced-theorem-proving/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Cao, Liangcheng Song, Zenan Li, et al.*2025 · 7 citations* 11. **[miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward](https://md.research.elamur.ai/free/en/papers/ospanov-2025-minif2f-lean-revisited-reviewing-limitations/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh*2025 · 4 citations* 12. **[LLM-Powered Benchmark Factory: Reliable, Generic, and Efficient](https://md.research.elamur.ai/free/en/papers/yuan-2026-llm-powered-benchmark-factory-reliable/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Peiwen Yuan, Shaoxiong Feng, Yiwei Li, et al.*2026 · 3 citations* 13. **[TabularMath: Understanding Math Reasoning over Tables with Large Language Models](https://md.research.elamur.ai/free/en/papers/tian-2026-tabularmath-understanding-math-reasoning-over/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Shi-Yu Tian, Zhi Zhou, Wei Dong, et al.*2026 · 3 citations* 14. **[FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://md.research.elamur.ai/free/en/papers/meadows-2026-formalscience-scalable-human-loop-autoformalisation/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jordan Meadows, Lan Zhang, Andre Freitas*2026* 15. **[Language Models Learn Universal Representations of Numbers and Here's Why You Should Care](https://md.research.elamur.ai/free/en/papers/stefanik-2026-language-models-learn-universal-representations/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Michal Štefánik, Timothee Mickus, Marek Kadlčík, et al.*2026* 22 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/) — Xiaoxing Ma