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.

Tianyin Xu — most-cited papers & profile · AI for Code

← authors · overview

Tianyin Xu

7 papers · 3 citations

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

Configuration Validation with Large Language Models
2023 · 3 citations
Specula: Scaling formal specifications for autonomous model checking of system code
2026

Top co-authors

Emilie Ma · 1 Finn Hackett · 1 Ivan Beschastnikh · 1 Jie Huang · 1 Minjia Zhang · 1 Parth Thakkar · 1 Qian Cheng · 1 Ruize Tang · 1 Runxiang Cheng · 1 Saad Mohammad Rafid Pial · 1 Xinyu Lian · 1 Yiming Su · 1

Topics

Code Models Code Understanding Bug Detection Software Engineering Testing