Scholar
Zeyu Sun
Google Scholar ID: GM8fn5YAAAAJ
Institute of Software, Chinese Academy of Sciences
Software Engineering
Natural Language Processing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,593
H-index
17
i10-index
23
Publications
20
Co-authors
20
list available
Contact
GitHub
Open ↗
Publications
10 items
DSEffi-Bench: Demystifying Large Language Models' Capability in Efficient Data Science Code Generation
2026
Cited
0
How Powerful are LLMs in Generating Formal Program Specifications?
2026
Cited
0
WarmTuner: Program-Specific Warm Starts for Compiler Autotuning via Offline-to-Online Reinforcement Learning
2026
Cited
0
KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base
2026
Cited
0
Contextualized Code Pretraining for Code Generation
2026
Cited
0
Bridging the Gap between User Intent and LLM: A Requirement Alignment Approach for Code Generation
2026
Cited
0
Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
2026
Cited
0
TestDecision: Sequential Test Suite Generation via Greedy Optimization and Reinforcement Learning
2026
Cited
0
Load more
Resume (English only)
Co-authors
20 total
Qihao Zhu
Peking University
Lu Zhang
Peking University
Yingfei Xiong
Associate Professor, Peking University
Dan Hao
Peking University
Qingyuan Liang
Peking University
Lili Mou
University of Alberta
Yiling Lou
Fudan University, China
Jie M. Zhang
Lecturer (Assistant Professor), King's College London
