🧑‍🔬 Who cites Chenyuan Yang

12 citations of their works from 12 papers of our library (of the 149,439 whose bibliographies we read) · 5 with a page here, the most cited first · ← Chenyuan Yang

1. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
2. MiniCPM-V 4.5: Cooking Efficient MLLMs via Architecture, Data, and Training RecipearXiv:2509.18154Tianyu Yu, Zefan Wang, Chongyi Wang, et al.2025 · 24 citations
3. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and TreefinementarXiv:2412.06176Pranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 citations
4. Feedback-Driven Tool-Use Improvements in Large Language Models via Automated Build EnvironmentsFindings of the Association for Computational LinguisticsJunjie Ye, Changhao Jiang, Zhengyin Du, et al.2026 · 6 citations
5. ImpRIF: Stronger Implicit Reasoning Leads to Better Complex Instruction FollowingAnnual Meeting of the Association for Computational Linguistics (ACL)Yuancheng Yang, Lin Yang, Xu Wang, et al.2026

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

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