Publication A Survey on Deep Learning for Theorem Proving Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si CONFERENCE ON LANGUAGE MODELING | October 2024
Publication Ironies of Generative AI: Understanding and Mitigating Productivity Loss in Human-AI Interaction Auste Simkute, Lev Tankelevitch, Victor Kewenig, Ava Elizabeth Scott, Abigail Sellen, Sean Rintel International Journal of Human–Computer Interaction | October 2024 Project Project Project
Publication What can Foundation Models’ Embeddings do? Linjie Li, Jianwei Yang, Lijuan Wang 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 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 FXAM: A unified and fast interpretable model for predictive analytics Yuanyuan Jiang, Rui Ding, Tianchi Qiao, Yunan Zhu, Shi Han, Dongmei Zhang Expert Systems with Applications | October 2024, Vol 252
Publication AdaWiFi, Collaborative WiFi Sensing for Cross-Environment Adaptation Naiyu Zheng, Yuanchun Li, Shiqi Jiang, Yuanzhe Li, Rongchun Yao, Chuchu Dong IEEE Transactions on Mobile Computing | October 2024
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 AI-powered Microgrids Facilitate Energy Resilience and Equity in Regional Communities Peeyush Kumar MSR-TR-2024-44 | October 2024 Published by Microsoft