Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems. - Atharv Sonwane; Sharad Chitlangia; Tirtharaj Dash; Lovekesh Vig; Gautam Shroff; Ashwin Srinivasan 001 (CoRR, 2021)

Solving Visual Analogies Using Neural Algorithmic Reasoning. - Atharv Sonwane; Gautam Shroff; Lovekesh Vig; Ashwin Srinivasan 001; Tirtharaj Dash (CoRR, 2021)

Solving Visual Analogies Using Neural Algorithmic Reasoning (Student Abstract). - Atharv Sonwane; Gautam Shroff; Lovekesh Vig; Ashwin Srinivasan 001; Tirtharaj Dash (AAAI, 2022)

Neural Analogical Reasoning. - Atharv Sonwane; Abhinav Lalwani; Sweta Mahajan; Gautam Shroff; Lovekesh Vig (NeSy, 2022)

Policy-Guided Lazy Search with Feedback for Task and Motion Planning. - Mohamed Khodeir; Atharv Sonwane; Florian Shkurti (CoRR, 2022)

Policy-Guided Lazy Search with Feedback for Task and Motion Planning. - Mohamed Khodeir; Atharv Sonwane; Ruthrash Hari; Florian Shkurti (ICRA, 2023)

StaticFixer: From Static Analysis to Static Repair. - Naman Jain; Shubham Gandhi; Atharv Sonwane; Aditya Kanade 001; Nagarajan Natarajan; Suresh Parthasarathy; Sriram K. Rajamani; Rahul Sharma 001 (CoRR, 2023)

Frustrated with Code Quality Issues? LLMs can Help! - Nalin Wadhwa; Jui Pradhan; Atharv Sonwane; Surya Prakash Sahu; Nagarajan Natarajan; Aditya Kanade 001; Suresh Parthasarathy; Sriram K. Rajamani (CoRR, 2023)

MASAI: Modular Architecture for Software-engineering AI Agents. - Daman Arora; Atharv Sonwane; Nalin Wadhwa; Abhav Mehrotra; Saiteja Utpala; Ramakrishna Bairi; Aditya Kanade 001; Nagarajan Natarajan (CoRR, 2024)

CodePlan: Repository-Level Coding using LLMs and Planning. - Ramakrishna Bairi; Atharv Sonwane; Aditya Kanade 001; Vageesh D. C.; Arun Iyer; Suresh Parthasarathy; Sriram K. Rajamani; Balasubramanyan Ashok; Shashank Shet (Proc. ACM Softw. Eng., 2024)

CORE: Resolving Code Quality Issues using LLMs. - Nalin Wadhwa; Jui Pradhan; Atharv Sonwane; Surya Prakash Sahu; Nagarajan Natarajan; Aditya Kanade 001; Suresh Parthasarathy; Sriram K. Rajamani (Proc. ACM Softw. Eng., 2024)