Publication Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation Shaonan Wu, Shuai Lu, Yeyun Gong, Nan Duan, Ping Wei October 2024 October 2024
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 Projet Projet Projet
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 WaveCoder: Widespread And Versatile Enhanced Instruction Tuning with Refined Data Generation Zhaojian Yu, Xin Zhang, Ning Shang, Yangyu Huang, Can Xu, Yishujie Zhao, Wenxiang Hu, Qiufeng Yin Meeting of the Association for Computational Linguistics | October 2024
Publication RedCode: Risky Code Execution and Generation Benchmark for Code Agents Chengquan Guo, Xun Liu, Chulin Xie, Andy Zhou, Yi Zeng, Zinan Lin, Dawn Song, Bo Li NeurIPS 2024 | October 2024