Publication Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation Shaonan Wu, Shuai Lu, Yeyun Gong, Nan Duan, Ping Wei October 2024 October 2024
Publication Budget-aware Query Tuning: An AutoML Perspective Wentao Wu, Chi Wang SIGMOD Record | October 2024, Vol 53(3): pp. 20-26
Publication Improving Steering and Verification in AI-Assisted Data Analysis with Interactive Task Decomposition Majeed Kazemitabaar, Jack Williams, Ian Drosos, Tovi Grossman, Austin Henley, Carina Negreanu, Advait Sarkar ACM Symposium on User Interface Software and Technology | October 2024 Project
Publication METAREFLECTION: Learning Instructions for Language Agents using Past Reflections Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares EMNLP’24 | October 2024
Publication AI-powered Microgrids Facilitate Energy Resilience and Equity in Regional Communities Peeyush Kumar MSR-TR-2024-44 | October 2024 Published by Microsoft
Publication Predictability of identifier naming with Copilot: A case study for mixed-initiative programming tools Michael Jing Long Lee, Advait Sarkar, Alan F. Blackwell Proceedings of the 35th Annual Conference of the Psychology of Programming Interest Group (PPIG 2024) | October 2024 Project Project
Publication Navigating the Unknown: A Chat-Based Collaborative Interface for Personalized Exploratory Tasks Yingzhe Peng, Xiaoting Qin, Zhiyang Zhang, Jue Zhang, Qingwei Lin 林庆维, Xu Yang, Dongmei Zhang, Saravan Rajmohan, Qi Zhang IUI’25 | October 2024
Publication Physical Consistency Bridges Heterogeneous Data in Molecular Multi-Task Learning Yuxuan Ren, Dihan Zheng, Chang Liu, Peiran Jin, Yu Shi, Lin Huang, Jiyan He, Shengjie Luo, Tao Qin, Tie-Yan Liu 2024 Neural Information Processing Systems | October 2024
Publication Reinforcement Learning Under Latent Dynamics: Toward Statistical and Algorithmic Modularity Philip Amortila, Dylan Foster, Nan Jiang, Akshay Krishnamurthy, Zakaria Mhammedi NeurIPS 2024 | October 2024