Chenyuan Yang
Chenyuan Yang has 2 papers in our library, in 2024–2026, most of them on Language models & pretraining; often with Caishuang Huang, Fan Yang, Junjie Ye.
OpenAlex · ORCID · Wikidata · h-index 10 · 15 works · 871 citations OpenAlex, 2026-10-14
📄 2 works in our library · 🔗 Cited 12 times in our library · ⭐ Paper Stars ranking: #10371
Affiliations
Fields, topics and concepts
📚 Shelves 6The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksInformation Systems · 1 workSoftware · 1 workArts and Humanities · 1 workLanguage and Linguistics · 1 work
🧭 Topics 1Research subjects and languages the work is about.Language models & pretraining · 1 work
Works by year
2020s
Papers
- AutoVerus: Automated Proof Generation for Rust Code (2024 · 28 citations)
Using LLMs to produce machine-checkable correctness proofs still lags far behind using them to write code. - MulDimIF: A Multi-Dimensional Constraint Framework for Evaluating and Improving Instruction Following in Large Language Models (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
- Caishuang Huang
- Fan Yang
- Junjie Ye
- Md Rakib Hossain Misu
- Meng Zhou
- Peng Wang
- Qi Zhang
- Shuai Lu
- Shuvendu Lahiri
- Tao Gui
- Yeyun Gong
- Yilong Wu
Venues
- Findings of the Association for Computational Linguistics: Findings of the Association for Computational Linguistics 2026
- Proceedings of the ACM on Programming Languages: Proceedings of the ACM on Programming Languages 2024
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/chenyuan-yang/