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.

Adharsh Kamath — most-cited papers & profile · AI for Code

← authors · overview

Adharsh Kamath

1 papers · 15 citations

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

Finding Inductive Loop Invariants using Large Language Models
2023 · 15 citations

Top co-authors

Aditya Senthilnathan · 1 Akash Lal · 1 Aseem Rastogi · 1 Pantazis Deligiannis · 1 Rahul Sharma · 1 Saikat Chakraborty · 1 Shuvendu K. Lahiri · 1 Subhajit Roy · 1

Topics

Code Models Software Engineering Program Repair