Publication Time Warp: The Gap Between Developers’ Ideal vs Actual Workweeks in an AI-Driven Era Sukrit Kumar, Drishti Goel, Tom Zimmermann, Brian Houck, B. Ashok, Chetan Bansal ICSE SEIP ’25 | April 2025 Distinguished Paper Award
Publication Agentic Reasoning and Tool Integration for LLMs via Reinforcement Learning Joykirat Singh, Raghav Magazine, Yash Pandya, Akshay Nambi April 2025
Publication Robust Root Cause Diagnosis using In-Distribution Interventions Lokesh Nagalapatti, Ashutosh Srivastava, Sunita Sarawagi, Amit Sharma 2025 International Conference on Learning Representations | April 2025 Project
Publication Causal Order: The Key to Leveraging Imperfect Experts in Causal Inference Aniket Vashishtha, Abbavaram Gowtham Reddy, Abhinav Kumar, Saketh Bachu, Vineeth N Balasubramanian, Amit Sharma ICLR 2025 | April 2025 Project
Publication RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi 47th International Conference on Software Engineering (ICSE) | April 2025 Video
Publication LLM Assistance for Memory Safety Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy 47th International Conference on Software Engineering (ICSE) | April 2025 Video
Publication DEDUCE: Deductive Consistency as a Frame Work to Evaluate LLM Reasoning Atharva Pandey, Kshitij Dubey, Rahul Sharma, Amit Sharma ICLR 2025 – Workshop on Reasoning and Planning for LLMs | March 2025
Publication Re-Imagine: Symbolic Benchmark Synthesis for Reasoning Evaluation Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Fabian Falck, Risa Ueno, Aditya Nori, Rahul Sharma, Amit Sharma, Javier González ICLR 2025 – Workshop on Reasoning and Planning for LLMs | March 2025
Publication Teaching Transformers Causal Reasoning through Axiomatic Training Aniket Vashishtha, Abhinav Kumar, Abbavaram Gowtham Reddy, Kabir Ahuja, Vineeth N Balasubramanian, Amit Sharma ICLR 2025 – Workshop on Reasoning and Planning for LLMs | March 2025
Publication Plan*RAG: Efficient Test-Time Planning for Retrieval Augmented Generation Prakhar Verma, Sukruta Prakash Midigeshi, Gaurav Sinha, Arno Solin, Nagarajan Natarajan, Amit Sharma ICLR 2025 – Workshop on Reasoning and Planning for LLMs | March 2025
Research
Research