Chenyuan Yang

According to our database, Chenyuan Yang authored at least 22 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Code as Agent Harness.

Xuying Ning, Katherine Tieu, Dongqi Fu, Tianxin Wei, Zihao Li, Yuanchen Bei, Jiaru Zou, Mengting Ai, Zhining Liu, Ting-Wei Li, Lingjie Chen, Yanjun Zhao, Ke Yang, Bingxuan Li, Cheng Qian, Gaotang Li, Xiao Lin, Zhichen Zeng, Ruizhong Qiu, Sirui Chen, Yifan Sun, Xiyuan Yang, Ruida Wang, Rui Pan, Chenyuan Yang, Dylan Zhang, Liri Fang, Zikun Cui, Yang Cao, Pan Chen, Dorothy Sun, Ren Chen, Mahesh Srinivasan, Nipun Mathur, Yinglong Xia, Hong Li, Hong Yan, Pan Lu, Lingming Zhang, Tong Zhang, Hanghang Tong, Jingrui He

CoRR, May, 2026

AnyPoC: Universal Proof-of-Concept Test Generation for Scalable LLM-Based Bug Detection.

Zijie Zhao, Chenyuan Yang, Weidong Wang, Yihan Yang, Ziqi Zhang, Lingming Zhang

CoRR, April, 2026

Impact of Automation Levels in Different Information Processing Stages on Submersible Mechanical Support Operational Work Performance Under Unbalanced Workloads.

Chenyuan Yang, Liping Pang, Xiaodong Cao, Peng Xue, Bingxu Zhao, Wentao Wu

Int. J. Hum. Comput. Interact., January, 2026

2025

VeruSAGE: A Study of Agent-Based Verification for Rust Systems.

Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jacob R. Lorch, Shan Lu

CoRR, December, 2025

Lookahead Tree-Based Rollouts for Enhanced Trajectory-Level Exploration in Reinforcement Learning with Verifiable Rewards.

Shangyu Xing, Siyuan Wang, Chenyuan Yang, Xinyu Dai, Xiang Ren

CoRR, October, 2025

Multilingual Routing in Mixture-of-Experts.

Lucas Bandarkar, Chenyuan Yang, Mohsen Fayyaz, Junlin Hu, Nanyun (Violet) Peng

CoRR, October, 2025

A Multi-Dimensional Constraint Framework for Evaluating and Improving Instruction Following in Large Language Models.

Junjie Ye, Caishuang Huang, Zhuohan Chen, Wenjie Fu, Chenyuan Yang, Leyi Yang, Yilong Wu, Peng Wang, Meng Zhou, Xiaolong Yang, Tao Gui, Qi Zhang, Zhongchao Shi, Jianping Fan, Xuanjing Huang

CoRR, May, 2025

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers.

Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang

CoRR, March, 2025

AutoVerus: Automated Proof Generation for Rust Code.

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu

Proc. ACM Program. Lang., 2025

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers.

Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

TESTEVAL: Benchmarking Large Language Models for Test Case Generation.

Wenhan Wang, Chenyuan Yang, Zhijie Wang, Yuheng Huang, Zhaoyang Chu, Da Song, Lingming Zhang, An Ran Chen, Lei Ma

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2025, Albuquerque, New Mexico, USA, April 29, 2025

Automated Proof Generation for Rust Code via Self-Evolution.

Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models.

Chenyuan Yang, Zijie Zhao, Lingming Zhang

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models.

Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang

Proc. ACM Program. Lang., 2024

Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries.

Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, Lingming Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

White-box Compiler Fuzzing Empowered by Large Language Models.

Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang

CoRR, 2023

Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT.

Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, Lingming Zhang

CoRR, 2023

Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models.

Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Fuzzing Automatic Differentiation in Deep-Learning Libraries.

Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, Lingming Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Fuzzing Deep-Learning Libraries via Large Language Models.

Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang

CoRR, 2022

Fuzzing deep-learning libraries via automated relational API inference.

Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source.

Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022