--- title: "Who cites Yifan Sun — 68 papers of our library" description: "68 papers of the Elamur Research library cite the works of Yifan Sun, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/yifan-sun/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yifan-sun/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Yifan Sun](https://md.research.elamur.ai/free/en/authors/yifan-sun/) / cited by # Who cites Yifan Sun 68 citations of their works from 68 papers of our library (of the 149,439 whose bibliographies we read) · 15 with a page here, the most cited first · [← Yifan Sun](https://md.research.elamur.ai/free/en/authors/yifan-sun/) 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. [**Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning arXiv:2504.11354**Haiming Wang, Mert Unsal, Xiaohan Lin, et al.*2025 · 92 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-kimina-prover-preview-large-formal/) 3. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/) 4. [**Seed Diffusion: A Large-Scale Diffusion Language Model with High-Speed Inference arXiv:2508.02193**Yuxuan Song, Zheng Zhang, Cheng Luo, et al.*2025 · 28 citations*](https://md.research.elamur.ai/free/en/papers/song-2025-seed-diffusion-large-scale/) 5. **[AI4Research: A Survey of Artificial Intelligence for Scientific Research](https://md.research.elamur.ai/free/en/papers/chen-2025-ai4research-survey-artificial-intelligence/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Mingda Yang, Libo Qin, et al.*2025 · 21 citations* 6. [**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/) 7. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.*2025 · 16 citations* 8. **[Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening](https://md.research.elamur.ai/free/en/papers/he-2025-rewarding-unlikely-lifting-grpo-beyond/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Andre Wang He, Daniel Fried, Sean Welleck*2025 · 15 citations* 9. [**REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning arXiv:2505.20613**Ziju Shen, Naohao Huang, Fanyi Yang, et al.*2025 · 10 citations*](https://md.research.elamur.ai/free/en/papers/shen-2025-real-prover-retrieval-augmented-lean/) 10. **[Scaling Laws for Code: A More Data-Hungry Regime](https://md.research.elamur.ai/free/en/papers/luo-2026-scaling-laws-code-more-data/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Xianzhen Luo, Wenzhen Zheng, Qingfu Zhu, et al.*2026 · 3 citations* 11. **[SpecAgent: A Speculative Retrieval and Forecasting Agent for Code Completion](https://md.research.elamur.ai/free/en/papers/ma-2026-specagent-speculative-retrieval-forecasting-agent/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**George Ma, Anurag Koul, Qi Chen, et al.*2026 · 1 citation* 12. **[V-GameGym: Visual Game Generation for Code Large Language Models](https://md.research.elamur.ai/free/en/papers/zhang-2026-v-gamegym-visual-game-generation/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Wei Zhang, Jian Yang, Renshuai Tao, et al.*2026 · 1 citation* 13. **[CodeRM-NT: Reward Model for Code RL without Unit Tests](https://md.research.elamur.ai/free/en/papers/xia-2026-coderm-nt-reward-model-code/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Xiao Xia, Dan Zhang, Tianrui Sun*2026* 14. **[MMSciCode: Real-world Evaluation of Multilingual Multi-Discipline Scientific Research Coding](https://md.research.elamur.ai/free/en/papers/xia-2026-mmscicode-real-world-evaluation-multilingual/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Xue Xia, Zheyuan Yang, Arman Cohan, et al.*2026* 15. **[UniGeM: Unifying Data Selection and Mixing via Geometric Exploration and Mining](https://md.research.elamur.ai/free/en/papers/wang-2026-unigem-unifying-data-selection-mixing/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Changhao Wang, Yunfeiyu, Xinhao Yao, et al.*2026* 53 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/yifan-sun/) — Yifan Sun