Publication Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma ICLR | April 2025
Publication Structural-Entropy-Based Sample Selection for Efficient and Effective Learning Tianchi Xie, Jiangning Zhu, Guozu Ma, Minzhi Lin, Wei Chen, Weikai Yang, Shixia Liu Proceedings of the 13th International Conference on Learning Representations (ICLR) | April 2025
Publication Efficient and Adaptive Diffusion Model Inference Through Lookup Table on Mobile Devices Qipeng Wang, Shiqi Jiang, Yifan Yang, Ruiqi Liu, Yuanchun Li, Ting Cao, Xuanzhe Liu IEEE Transactions on Mobile Computing (TMC) | April 2025, pp. 1-18
Publication UFO: A UI-Focused Agent for Windows OS Interaction Chaoyun Zhang, Liqun Li, Shilin He, Xu Zhang, Bo Qiao, Si Qin, Minghua Ma, Yu Kang, Qingwei Lin 林庆维, Saravan Rajmohan, Dongmei Zhang, Qi Zhang NAACL’25 | April 2025
Publication Daredevil: Rescue Your Flash Storage from Inflexible Kernel Storage Stack Junzhe Li, Ran Shu, Jiayi Lin, Qingyu Zhang, Ziyue Yang, Jie Zhang, Yongqiang Xiong, Chenxiong Qian EuroSys | April 2025
Publication Xavier: Toward Better Coding Assistance in Authoring Tabular Data Wrangling Scripts Yunfan Zhou, Xiwen Cai, Qiming Shi, Yanwei Huang, Haotian Li, Huamin Qu, Di Weng, Yingcai Wu CHI 2025 | March 2025
Publication DesignDiffusion: High-Quality Text-to-Design Image Generation with Diffusion Models Zhendong Wang, Jianmin Bao, Shuyang Gu, Dong Chen, Wengang Zhou, Houqiang Li CVPR 2025 | March 2025
Publication Societal AI: Research Challenges and Opportunities Beibei Shi, Haotian Li, Xing Xie, Societal AI Team MSR-TR-2025-12 | March 2025 Published by Microsoft Project
Publication Advancing Mobile GUI Agents: A Verifier-Driven Approach to Practical Deployment Gaole Dai, Shiqi Jiang, Ting Cao, Yuanchun Li, Yuqing Yang, Rui Tan, Mo Li, Lili Qiu March 2025
Publication Model as a Game: On Numerical and Spatial Consistency for Generative Games Jingye Chen, Yuzhong Zhao, Yupan Huang, Lei Cui, Li Dong, Tengchao Lv, Qifeng Chen, Furu Wei March 2025 March 2025