출판 STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with Feedback Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares July 2025 Preprint
출판 Position: To Make Text-to-Image Models that Work for Marginalized Communities, We Need New Measurement Practices for the Long Tail Nari Johnson, Hamna ., Deepthi Sudharsan, Theo Holroyd, Samantha Dalal, Siobhan Mackenzie Hall, Jennifer Wortman Vaughan, Daniela Massiceti, Cecily Morrison July 2025 프로젝트
출판 MOGIC: Metadata-Infused Oracle Guidance for Improved Extreme Classification Suchith Chidananda Prabhu, Bhavyajeet Singh, Anshul Mittal, Siddarth Asokan, Shikhar Mohan, Deepak Saini, Yashoteja Prabhu, Lakshya Kumar, Jian Jiao, Amit Singh, Niket Tandon, Manish Gupta, Sumeet Agarwal, Manik Varma ICML 2025 | July 2025
출판 Graph-Based Algorithms for Diverse Similarity Search Piyush Anand, Piotr Indyk, Ravishankar Krishnaswamy, Sepideh Mahabadi, Vikas C. Raykar, Kiran Shiragur, Haike Xu ICML 2025 | July 2025
출판 PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy 2025 Programming Language Design and Implementation | June 2025 Accepted for publication, to appear 프로젝트
출판 ASHABot: An LLM-Powered Chatbot to Support the Informational Needs of Community Health Workers Pragnya Ramjee, Mehak Chhokar, Bhuvan Sachdeva, Mahendra Meena, Hamid Abdullah, Aditya Vashistha, Ruchit Nagar, Mohit Jain CHI 2025 | April 2025 프로젝트 프로젝트
출판 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
출판 Agentic Reasoning and Tool Integration for LLMs via Reinforcement Learning Joykirat Singh, Raghav Magazine, Yash Pandya, Akshay Nambi April 2025
출판 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 2025 International Conference on Learning Representations | April 2025 프로젝트
출판 LLM Assistance for Memory Safety Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy 47th International Conference on Software Engineering (ICSE) | April 2025 동영상
