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

1. DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement LearningNatureDeepSeek-AI, Daya Guo, Dejian Yang, et al.2025 · 4,728 citations
2. L1: Controlling How Long A Reasoning Model Thinks With Reinforcement LearningarXiv:2503.04697Pranjal Aggarwal, Sean Welleck2025 · 125 citations
3. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 122 citations
4. Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement LearningarXiv:2502.14768Tian Xie, Zitian Gao, Qingnan Ren, et al.2025 · 104 citations
5. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
6. Vision-R1: Incentivizing Reasoning Capability in Multimodal Large Language ModelsarXiv:2503.06749Wenxuan Huang, Bohan Jia, Zijie Zhai, et al.2025 · 92 citations
7. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
8. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
9. Fire-Flyer AI-HPC: A Cost-Effective Software-Hardware Co-Design for Deep Learning2012 International Conference for High Performance Computing, Networking, Storage and AnalysisWei An, Xiao Bi, Guanting Chen, et al.2024 · 34 citations
10. INVESTORBENCH: A Benchmark for Financial Decision-Making Tasks with LLM-based AgentAnnual Meeting of the Association for Computational Linguistics (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 ProvingarXiv:2412.20735Yang Li, Dong Du, Linfeng Song, et al.2024 · 25 citations
12. Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm PerspectiveAnnual Meeting of the Association for Computational Linguistics (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 ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
14. MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citations
15. LLM The Genius Paradox: A Linguistic and Math Expert's Struggle with Simple Word-based Counting ProblemsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Nan Xu, Xuezhe Ma2025 · 17 citations
16. 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
17. Rewarding the Unlikely: Lifting GRPO Beyond Distribution SharpeningConference on Empirical Methods in Natural Language Processing (EMNLP)Andre Wang He, Daniel Fried, Sean Welleck2025 · 15 citations
18. 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
19. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
20. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
21. Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math CapabilityConference on Empirical Methods in Natural Language Processing (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 FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations

90 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/xuan-lu/cited-by/