--- title: "Who cites Xuan Lu — 112 papers of our library" description: "112 papers of the Elamur Research library cite the works of Xuan Lu, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/xuan-lu/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/xuan-lu/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Xuan Lu](https://md.research.elamur.ai/free/en/authors/xuan-lu/) / cited by # Who cites Xuan Lu 112 citations of their works from 112 papers of our library (of the 149,439 whose bibliographies we read) · 22 with a page here, the most cited first · [← Xuan Lu](https://md.research.elamur.ai/free/en/authors/xuan-lu/) 1. **[DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/deepseek-ai-2025-deepseek-r1-incentivizing-reasoning-capability/) [Nature](https://md.research.elamur.ai/free/en/venues/nature/)**DeepSeek-AI, Daya Guo, Dejian Yang, et al.*2025 · 4,728 citations* 2. [**L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning arXiv:2503.04697**Pranjal Aggarwal, Sean Welleck*2025 · 125 citations*](https://md.research.elamur.ai/free/en/papers/aggarwal-2025-l1-controlling-long-reasoning-model/) 3. [**DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition arXiv:2504.21801**Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.*2025 · 122 citations*](https://md.research.elamur.ai/free/en/papers/ren-2025-deepseek-prover-v2-advancing-formal/) 4. [**Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning arXiv:2502.14768**Tian Xie, Zitian Gao, Qingnan Ren, et al.*2025 · 104 citations*](https://md.research.elamur.ai/free/en/papers/xie-2025-logic-rl-unleashing-llm/) 5. [**Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning arXiv:2504.11354**Haiming Wang, Mert Unsal, Xiaohan Lin, et al.*2025 · 92 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-kimina-prover-preview-large-formal/) 6. [**Vision-R1: Incentivizing Reasoning Capability in Multimodal Large Language Models arXiv:2503.06749**Wenxuan Huang, Bohan Jia, Zijie Zhai, et al.*2025 · 92 citations*](https://md.research.elamur.ai/free/en/papers/huang-2025-vision-r1-incentivizing-reasoning-capability/) 7. [**Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving arXiv:2502.07640**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 84 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-frontier-model-open/) 8. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/) 9. **[Fire-Flyer AI-HPC: A Cost-Effective Software-Hardware Co-Design for Deep Learning](https://md.research.elamur.ai/free/en/papers/an-2024-fire-flyer-ai-hpc/) [2012 International Conference for High Performance Computing, Networking, Storage and Analysis](https://md.research.elamur.ai/free/en/venues/2012-international-conference-for-high-performance-computing-networking-storage/)**Wei An, Xiao Bi, Guanting Chen, et al.*2024 · 34 citations* 10. **[INVESTORBENCH: A Benchmark for Financial Decision-Making Tasks with LLM-based Agent](https://md.research.elamur.ai/free/en/papers/li-2025-investorbench-benchmark-financial-decision-making/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Haohang Li, Yupeng Cao, Yangyang Yu, et al.*2025 · 29 citations* 11. [**HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving arXiv:2412.20735**Yang Li, Dong Du, Linfeng Song, et al.*2024 · 25 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-hunyuanprover-scalable-data-synthesis/) 12. **[Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective](https://md.research.elamur.ai/free/en/papers/yu-2025-chain-reasoning-unified-mathematical-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, et al.*2025 · 23 citations* 13. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/) 14. [**MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving arXiv:2503.03205**Ruida Wang, Rui Pan, Yuxin Li, et al.*2025 · 18 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-ma-lot-model-collaboration-lean/) 15. **[LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting Problems](https://md.research.elamur.ai/free/en/papers/xu-2025-llm-genius-paradox-linguistic-math/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Nan Xu, Xuezhe Ma*2025 · 17 citations* 16. **[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* 17. **[Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening](https://md.research.elamur.ai/free/en/papers/he-2025-rewarding-unlikely-lifting-grpo-beyond/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Andre Wang He, Daniel Fried, Sean Welleck*2025 · 15 citations* 18. **[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* 19. [**REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning arXiv:2505.20613**Ziju Shen, Naohao Huang, Fanyi Yang, et al.*2025 · 10 citations*](https://md.research.elamur.ai/free/en/papers/shen-2025-real-prover-retrieval-augmented-lean/) 20. [**ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization arXiv:2510.24592**Guoxin Chen, Jing Wu, Xinjie Chen, et al.*2025 · 8 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-reform-reflective-autoformalization-prospective-bounded/) 21. **[Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability](https://md.research.elamur.ai/free/en/papers/wang-2025-let-s-reason-formally-natural/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Ruida Wang, Yuxin Li, Yi R. Fung, et al.*2025 · 7 citations* 22. [**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/) 90 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/xuan-lu/) — Xuan Lu