Awesome AI for Code

📄Papers 🧭Topics 🔥Trending 🗺️Map 🏆Leaderboards 🎓Learn 🤖Ask AI

⋯More

👥Authors 📚Reading Packs 📊Datasets 🛠️Tools 📰News 📝Blogs ✉️Newsletter 🎯Research Radar 🔖Saved

← authors · overview

Loading author…

Stay Updated

E-Mail Digest 🎯 Research Radar

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Linqi Song — most-cited papers & profile · AI for Code

← authors · overview

Linqi Song

4 papers · 16 citations · 26 h-index

Shandong University of Traditional Chinese Medicine · City University of Hong Kong · Xiamen University · City University of Hong Kong, Shenzhen Research Institute

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
2024 · 2 citations

Top co-authors

Haiming Wang · 1 Jianqiao Lu · 1 Qingxing Cao · 1 Xiaodan Liang · 1 Xiaohan Lin · 1 Yinya Huang · 1 Zhengying Liu · 1

Topics

Code Models Software Engineering Code Generation