--- title: "Chenyuan Yang · Microsoft — author profile and papers" description: "Chenyuan Yang, Microsoft: 2 papers on Elamur Research (2024–2026), h-index 10 — affiliations, topics, co-authors and who cites them in…" canonical: "https://research.elamur.ai/free/en/authors/chenyuan-yang/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/chenyuan-yang/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Chenyuan Yang # Chenyuan Yang Chenyuan Yang has 2 papers in our library, in 2024–2026, most of them on [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/); often with [Caishuang Huang](https://md.research.elamur.ai/free/en/authors/caishuang-huang/), [Fan Yang](https://md.research.elamur.ai/free/en/authors/fan-yang/), [Junjie Ye](https://md.research.elamur.ai/free/en/authors/junjie-ye/). 2 papers in our library · 2024–2026 [OpenAlex](https://openalex.org/A5100539981) · [ORCID](https://orcid.org/0000-0002-7976-5086) · [Wikidata](https://www.wikidata.org/wiki/Q130811424) · [**h-index 10**](https://openalex.org/authors/A5100539981) · [15 works](https://openalex.org/works?filter=author.id:A5100539981) · [871 citations](https://openalex.org/works?filter=author.id:A5100539981&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/chenyuan-yang/#papers) · [🔗 Cited 12 times in our library](https://md.research.elamur.ai/free/en/authors/chenyuan-yang/cited-by/) · [⭐ Paper Stars ranking: #10371](https://md.research.elamur.ai/free/en/paper-stars/page/104/#star-10371) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Chenyuan+Yang) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Chenyuan+Yang) · [dblp](https://dblp.org/search?q=Chenyuan+Yang) · [ACL Anthology](https://aclanthology.org/search/?q=Chenyuan+Yang) ## Affiliations [🎓**Fudan University** Shanghai · China 2025–2026 · 2 papers*current*](https://md.research.elamur.ai/free/en/universities/fudan-university/) · [🏢**Microsoft** Redmond · United States 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/companies/microsoft/) · [🎓**University of Illinois Urbana-Champaign** Urbana · United States 2022–2025 · 12 papers](https://md.research.elamur.ai/free/en/universities/university-of-illinois-urbana-champaign/) · [🎓**Nanjing University** Nanjing · China 2022 · 2 papers](https://md.research.elamur.ai/free/en/universities/nanjing-university/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 3 more institutions on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 6 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) · [Software · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 1 Research subjects and languages the work is about.[Language models & pretraining · 1 work](https://md.research.elamur.ai/free/en/topics/language-models/) ## Works by year ### 2020s [**2026** 1 paper](https://md.research.elamur.ai/free/en/authors/chenyuan-yang/year/2026/) · [**2024** 1 paper](https://md.research.elamur.ai/free/en/authors/chenyuan-yang/year/2024/) ## Papers The most cited first (OpenAlex and our library). 1. **[AutoVerus: Automated Proof Generation for Rust Code](https://md.research.elamur.ai/free/en/papers/yang-2024-autoverus-automated-proof-generation-rust/)** *(2024 · 28 citations)* Using LLMs to produce machine-checkable correctness proofs still lags far behind using them to write code. 2. **[MulDimIF: A Multi-Dimensional Constraint Framework for Evaluating and Improving Instruction Following in Large Language Models](https://md.research.elamur.ai/free/en/papers/ye-2026-muldimif-multi-dimensional-constraint-framework/)** *(2026 · 4 citations)* Most instruction-following benchmarks for LLMs vary only the type of constraint. They say little about how constraints are phrased or how hard their combinations are, and they offer little insight into how to improve models. MulDimIF addresses this with a framework that describes each instruction along three axes… ## Co-authors here 12 co-authors with a page, the most papers together first. - [Caishuang Huang](https://md.research.elamur.ai/free/en/authors/caishuang-huang/) - [Fan Yang](https://md.research.elamur.ai/free/en/authors/fan-yang/) - [Junjie Ye](https://md.research.elamur.ai/free/en/authors/junjie-ye/) - [Md Rakib Hossain Misu](https://md.research.elamur.ai/free/en/authors/md-rakib-hossain-misu/) - [Meng Zhou](https://md.research.elamur.ai/free/en/authors/meng-zhou/) - [Peng Wang](https://md.research.elamur.ai/free/en/authors/peng-wang/) - [Qi Zhang](https://md.research.elamur.ai/free/en/authors/qi-zhang/) - [Shuai Lu](https://md.research.elamur.ai/free/en/authors/shuai-lu/) - [Shuvendu Lahiri](https://md.research.elamur.ai/free/en/authors/shuvendu-lahiri/) - [Tao Gui](https://md.research.elamur.ai/free/en/authors/tao-gui/) - [Yeyun Gong](https://md.research.elamur.ai/free/en/authors/yeyun-gong/) - [Yilong Wu](https://md.research.elamur.ai/free/en/authors/yilong-wu/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/): [Findings of the Association for Computational Linguistics 2026](https://md.research.elamur.ai/free/en/venues/findings/2026/) - [Proceedings of the ACM on Programming Languages](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/): [Proceedings of the ACM on Programming Languages 2024](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/) ## Cited by Papers of our library cite their works 12 times (of the 149,439 papers whose bibliographies we read); [5 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/chenyuan-yang/cited-by/). Updated 3 November 2026