🧑‍🔬 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

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. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
3. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
4. Seed Diffusion: A Large-Scale Diffusion Language Model with High-Speed InferencearXiv:2508.02193Yuxuan Song, Zheng Zhang, Cheng Luo, et al.2025 · 28 citations
5. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
6. 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
7. 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
8. Rewarding the Unlikely: Lifting GRPO Beyond Distribution SharpeningConference on Empirical Methods in Natural Language Processing (EMNLP)Andre Wang He, Daniel Fried, Sean Welleck2025 · 15 citations
9. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
10. Scaling Laws for Code: A More Data-Hungry RegimeAnnual Meeting of the Association for Computational Linguistics (ACL)Xianzhen Luo, Wenzhen Zheng, Qingfu Zhu, et al.2026 · 3 citations
11. SpecAgent: A Speculative Retrieval and Forecasting Agent for Code CompletionAnnual Meeting of the Association for Computational Linguistics (ACL)George Ma, Anurag Koul, Qi Chen, et al.2026 · 1 citation
12. V-GameGym: Visual Game Generation for Code Large Language ModelsFindings of the Association for Computational LinguisticsWei Zhang, Jian Yang, Renshuai Tao, et al.2026 · 1 citation
13. CodeRM-NT: Reward Model for Code RL without Unit TestsFindings of the Association for Computational LinguisticsXiao Xia, Dan Zhang, Tianrui Sun2026
14. MMSciCode: Real-world Evaluation of Multilingual Multi-Discipline Scientific Research CodingAnnual Meeting of the Association for Computational Linguistics (ACL)Xue Xia, Zheyuan Yang, Arman Cohan, et al.2026
15. UniGeM: Unifying Data Selection and Mixing via Geometric Exploration and MiningFindings of the Association for Computational LinguisticsChanghao Wang, Yunfeiyu, Xinhao Yao, et al.2026

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

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