🧑‍🔬 Who cites Zhicheng Yang

74 citations of their works from 69 papers of our library (of the 149,439 whose bibliographies we read) · 32 with a page here, the most cited first · ← Zhicheng Yang

1. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
2. 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
3. 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
4. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
5. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
6. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
7. Forward-Backward Reasoning in Large Language Models for Mathematical VerificationFindings of the Association for Computational LinguisticsWeisen Jiang, Han Shi, Longhui Yu, et al.2024 · 44 citations
8. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and ProvingarXiv:2502.00212Kefan Dong, Tengyu Ma2025 · 43 citations
9. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
10. Process-Driven Autoformalization in Lean 4arXiv:2406.01940Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.2024 · 33 citations
11. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language ModelsarXiv:2505.02735Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.2025 · 31 citations
12. MUSTARD: Mastering Uniform Synthesis of Theorem and Proof DataarXiv:2402.08957 (ICLR 2024 spotlight)Yinya Huang, Xiaohan Lin, Zhengying Liu, et al.2024 · 29 citations
13. AutoPSV: Automated Process-Supervised VerifierConference on Neural Information Processing Systems (NeurIPS)Jianqiao Lu, Zhiyang Dou, Hongru Wang, et al.2024 · 28 citations
14. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
15. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
16. TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Jing Xiong, Jianhao Shen, Ye Yuan, et al.2023 · 21 citations
17. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
18. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Chengwu Liu, Ye Yuan, Yichun Yin, et al.2025 · 17 citations
19. 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
20. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
21. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
22. 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
23. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
24. 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
25. Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Xin Quan, Andre Freitas2024 · 11 citations
26. 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
27. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
28. 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
29. 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
30. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
31. MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data CurationConference on Neural Information Processing Systems (NeurIPS)Zhenwen Liang, Linfeng Song, Yang Li, et al.2025 · 4 citations
32. 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

37 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/zhicheng-yang/cited-by/