Publications

Preprints

Scaling Deterministic LLM Verification to Prompt Spaces

Nalin Wadhwa, Brian Kim, David Shu Cheng, Isha Chaudhary, Avaljot Singh, Gagandeep Singh Under review [Preprint]

---

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 and Workshop Papers

BEAVER: An Efficient Deterministic LLM Verifier

Nalin Wadhwa*, Tarun Suresh*, Debangshu Banerjee, Gagandeep Singh Oral, VerifAI Workshop at ICLR 2026 [Project page] [arXiv] [GitHub]

---

MASAI: Modular Architecture for Software-engineering AI Agents

Nalin Wadhwa*, Daman Arora*, Atharv Sonwane*, 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