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

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Jie Yan](https://md.research.elamur.ai/free/en/authors/jie-yan/) / cited by

# Who cites Jie Yan

12 citations of their works from 11 papers of our library (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · [← Jie Yan](https://md.research.elamur.ai/free/en/authors/jie-yan/)

1. [**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/)
2. [**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/)
3. [**ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization arXiv:2510.15981**Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/cabral-2025-proofflow-dependency-graph-approach-faithful/)

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

- [← back to](https://md.research.elamur.ai/free/en/authors/jie-yan/) — Jie Yan