🧑‍🔬 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

1. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
2. A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
3. Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2arXiv:2502.03544Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.2025 · 31 citations
4. 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
5. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
6. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical DefinitionsConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Marco Valentino, Andre Freitas2025 · 11 citations
7. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
8. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.2025 · 9 citations
9. LogicPro: Improving Complex Logical Reasoning via Program-Guided LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Jin Jiang, Yuchen Yan, Yang Liu, et al.2025 · 8 citations
10. 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
11. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
12. LLM-Powered Benchmark Factory: Reliable, Generic, and EfficientAnnual Meeting of the Association for Computational Linguistics (ACL)Peiwen Yuan, Shaoxiong Feng, Yiwei Li, et al.2026 · 3 citations
13. TabularMath: Understanding Math Reasoning over Tables with Large Language ModelsFindings of the Association for Computational LinguisticsShi-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 LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
15. Language Models Learn Universal Representations of Numbers and Here's Why You Should CareAnnual Meeting of the Association for Computational Linguistics (ACL)Michal Štefánik, Timothee Mickus, Marek Kadlčík, et al.2026

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

This page in Markdown → https://md.research.elamur.ai/free/en/authors/xiaoxing-ma/cited-by/