Awesome AI for Code
📄
Papers
🧭
Topics
🔥
Trending
🗺️
Map
🏆
Leaderboards
🎓
Learn
🤖
Ask AI
⋯
More
👥
Authors
📚
Reading Packs
📊
Datasets
🛠️
Tools
📰
News
📝
Blogs
✉️
Newsletter
🎯
Research Radar
🔖
Saved
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
🤖
Ask AI
Zehan Chen — most-cited papers & profile · AI for Code
← authors
·
overview
Zehan Chen
2
papers ·
0
citations
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
2026
Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
2025
Top co-authors
Jianfeng Ma
· 2
Jingjing Zhang
· 2
Lin Yang
· 2
Long Zhang
· 2
Ruoyu Zhou
· 2
Yulong Shen
· 2
Zhiwei Zhang
· 2
Topics
Code Generation
Software Engineering
Code Models
Testing