🧑‍🔬 Who cites Yunzhou Xie

35 citations of their works from 34 papers of our library (of the 149,439 whose bibliographies we read) · 9 with a page here, the most cited first · ← Yunzhou Xie

1. 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
2. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
3. 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
4. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin 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. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
7. Autoformalizer with Tool FeedbackarXiv:2510.06857Qi Guo; Jianing Wang; Jianfei Zhang; Deyang Kong; Xiangzhou Huang; Xiangyu Xi; Wei Wang; Jingang Wang; Xunliang Cai; Shikun Zhang;, Wei Ye2025 · 6 citations
8. Automated Conjecture Resolution with Formal VerificationSuperIntelligence - Robotics - Safety & AlignmentHaocheng Ju, Guoxiong Gao, Jiedong Jiang, et al.2026 · 5 citations
9. PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable DataFindings of the Association for Computational LinguisticsKai Xiong, Yanwei Huang, Rongjunchen Zhang, et al.2026

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

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