论文与出版物 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
论文与出版物 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 项目 项目 项目
论文与出版物 Budget-aware Query Tuning: An AutoML Perspective Wentao Wu, Chi Wang SIGMOD Record | October 2024, 第 53 卷(3): pp. 20-26
论文与出版物 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
论文与出版物 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, 第 252 卷
论文与出版物 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
论文与出版物 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
论文与出版物 Predictor-Corrector Enhanced Transformers with Exponential Moving Average Coefficient Learning Rui Wang, Junliang Guo, Xu Tan NeurIPS 2024 | October 2024