Publications

Preprints

BEAVER: An Efficient Deterministic LLM Verifier Nalin Wadhwa*, Tarun Suresh*, Debangshu Banerjee, Gagandeep Singh [arXiv] [GitHub]

---

Code Researcher: Deep Research Agent for Large Systems Code and Commit History Ramneet Singh, Sathvik Joel, Abhav Mehrotra, Nalin Wadhwa, Ramakrishna B Bairi, Aditya Kanade, Nagarajan Natarajan [Project page] [arXiv]

---

Conference Papers

MASAI: Modular Architecture for Software-engineering AI Agents Nalin Wadhwa*, Atharv Sonwane*, Daman Arora*, Abhav Mehrotra, Saiteja Utpala, Ramakrishna B Bairi, Aditya Kanade, Nagarajan Natarajan NeurIPS 2024 Workshop on Open-World Agents [Project page] [OpenReview] [arXiv]

---

CORE: Resolving Code Quality Issues Using LLMs Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram Rajamani Proceedings of the ACM on Software Engineering, FSE 2024 [Project page] [ACM] [arXiv]

---

* denotes equal contribution