---
title: "Who cites Yunzhou Xie — 34 papers of our library"
description: "34 papers of the Elamur Research library cite the works of Yunzhou Xie, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/yunzhou-xie/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yunzhou-xie/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Yunzhou Xie](https://md.research.elamur.ai/free/en/authors/yunzhou-xie/) / cited by

# 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](https://md.research.elamur.ai/free/en/authors/yunzhou-xie/)

1. [**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/)
2. [**Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving arXiv:2507.23726**Luoxin Chen, Jinming Gu, Liankai Huang, et al.*2025 · 46 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-deep-broad-reasoning/)
3. [**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/)
4. [**Solving Formal Math Problems by Decomposition and Iterative Reflection arXiv:2507.15225**Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.*2025 · 16 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2025-solving-formal-math-problems-decomposition/)
5. [**Autoformalization in the Era of Large Language Models: A Survey arXiv:2505.23486**Ke Weng, Lun Du, Sirui Li, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/weng-2025-autoformalization-era-large-language-models/)
6. [**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/)
7. [**Autoformalizer with Tool Feedback arXiv:2510.06857**Qi Guo; Jianing Wang; Jianfei Zhang; Deyang Kong; Xiangzhou Huang; Xiangyu Xi; Wei Wang; Jingang Wang; Xunliang Cai; Shikun Zhang;, Wei Ye*2025 · 6 citations*](https://md.research.elamur.ai/free/en/papers/guo-2025-autoformalizer-tool-feedback/)
8. **[Automated Conjecture Resolution with Formal Verification](https://md.research.elamur.ai/free/en/papers/ju-2026-automated-conjecture-resolution-formal-verification/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Haocheng Ju, Guoxiong Gao, Jiedong Jiang, et al.*2026 · 5 citations*
9. **[PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data](https://md.research.elamur.ai/free/en/papers/xiong-2026-puzzleclone-dsl-powered-framework-synthesizing/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Kai Xiong, Yanwei Huang, Rongjunchen Zhang, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/yunzhou-xie/) — Yunzhou Xie