🧑‍🔬 Who cites Haiming Wang

402 citations of their works from 220 papers of our library (of the 149,439 whose bibliographies we read) · 41 with a page here, the most cited first · ← Haiming Wang

1. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
2. LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 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. Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language ModelsarXiv:2501.09686Fengli Xu, Qianyue Hao, Zefang Zong, et al.2025 · 120 citations
5. AlphaMath Almost Zero: Process Supervision without ProcessConference on Neural Information Processing Systems (NeurIPS)Guoxin Chen, Minpeng Liao, Chengxi Li, et al.2024 · 120 citations
6. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearcharXiv:2408.08152Huajian Xin, Z. Z. Ren, Junxiao Song, et al.2024 · 116 citations
7. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
8. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
9. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
10. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
11. InternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningarXiv:2402.06332Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.2024 · 90 citations
12. Lean Workbook: A large-scale Lean problem set formalized from natural language math problemsConference on Neural Information Processing Systems (NeurIPS)Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.2024 · 80 citations
13. A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?arXiv:2503.24235Qiyuan Zhang, Fuyuan Lyu, Zexu Sun, et al.2025 · 79 citations
14. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
15. 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
16. OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AIConference on Neural Information Processing Systems (NeurIPS)Zhen Huang, Zengzhi Wang, Shijie Xia, et al.2024 · 56 citations
17. FIMO: A Challenge Formal Dataset for Automated Theorem ProvingarXiv:2309.04295Chengwu Liu, Jianhao Shen, Huajian Xin, et al.2023 · 53 citations
18. Scaling Laws with Vocabulary: Larger Models Deserve Larger VocabulariesarXiv:2407.13623Chaofan Tao, Qian Liu, Longxu Dou, et al.2024 · 46 citations
19. AutoPSV: Automated Process-Supervised VerifierConference on Neural Information Processing Systems (NeurIPS)Jianqiao Lu, Zhiyang Dou, Hongru Wang, et al.2024 · 28 citations
20. DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context LearningarXiv:2310.02954Jing Xiong, Zixuan Li, Chuanyang Zheng, et al.2023 · 27 citations
21. Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.2026 · 25 citations
22. 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
23. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
24. 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
25. 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
26. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
27. 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
28. 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
29. 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
30. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations
31. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
32. Expression Syntax Information Bottleneck for Math Word ProblemsInternational ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR)Jing Xiong, Chengming Li, Min Yang, et al.2023 · 10 citations
33. 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
34. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
35. 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
36. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
37. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
38. 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
39. Generalizable LLM Learning of Graph Synthetic Data with Post-training AlignmentFindings of the Association for Computational LinguisticsYizhuo Zhang, Heng Wang, Shangbin Feng, et al.2026
40. PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable DataFindings of the Association for Computational LinguisticsKai Xiong, Yanwei Huang, Rongjunchen Zhang, et al.2026
41. RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function LibraryFindings of the Association for Computational LinguisticsJiapeng Wang, Jinhao Jiang, Zhiqiang Zhang, et al.2026

179 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/haiming-wang/cited-by/