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
Lehan He — most-cited papers & profile · AI for Code
← authors
·
overview
Lehan He
6
papers ·
0
citations
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback
2025
Use Property-Based Testing to Bridge LLM Code Generation and Validation
2025
Top co-authors
Lu Sheng
· 2
Xiang Gao
· 2
Zeren Chen
· 2
Zhe Zhang
· 2
Aidi Li
· 1
Angang Du
· 1
Anqi Dai
· 1
Aotian Luo
· 1
Baosheng Xu
· 1
Beixi Hao
· 1
B. H. Zhang
· 1
Bill Liu
· 1
Topics
Testing
Code Generation
Program Repair
Software Engineering
Large
Language
Models
code
generation
Test-Driven