Publication Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma Neural Information Processing Systems | December 2024
Publication Convergence to Equilibrium of No-regret Dynamics in Congestion Games Volkan Cevher, Wei Chen, Leello Dadi, Jing Dong, Ioannis Panageas, Stratis Skoulakis, Luca Viano, Baoxiang Wang, Siwei Wang, Jingyu Wu Conference on Web and Internet Economics (WINE) | December 2024
Publication LORASC: Expressive and Generalizable Low-rank Adaptation for Large Models via Slow Cascaded Learning Yifan Yang, Yifei Shen, Yuqing Yang, Lili Qiu, Fangyun Wei Empirical Methods in Natural Language Processing | November 2024
Publication BitNet a4.8: 4-bit Activations for 1-bit LLMs Hongyu Wang, Shuming Ma, Furu Wei November 2024 arXiv | November 2024 Work in progress Accès
Publication LLM2CLIP: Powerful Language Model Unlocks Richer Visual Representation Weiquan Huang, Aoqi Wu, Yifan Yang, Xufang Luo, Yuqing Yang, Liang Hu, Qi Dai, Xiyang Dai, Dongdong Chen, Chong Luo, Lili Qiu November 2024 arXiv | November 2024 Github Projet
Publication Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor Siran Liu, Chengxiang Qi, Ying Cao, Chao Yang, Weifang Hu, Xuanhua Shi, Fan Yang, Mao Yang SOSP | November 2024
Publication Reviving Cloud Gaming Sessions Yifan Yang, Lili Qiu, Yuqing Yang CoNEXT 2024 – International Conference on emerging Networking EXperiments and Technologies | November 2024
Publication Self-maintaining [networked] systems: The rise of datacenter robotics! Freddie Hong, Iason Sarantopoulos, Elliott Hogg, David Richardson, Yizhong Zhang, Hugh Williams, David Sweeney, Andromachi Chatzieleftheriou, Ant Rowstron Hot Topics in Networks | November 2024 Projet
Publication VPTQ: Extreme Low-bit Vector Post-Training Quantization for Large Language Models Yifei Liu, Jicheng Wen, Yang Wang, Shengyu Ye, Li Lyna Zhang, Ting Cao, Cheng Li, Mao Yang November 2024 Github
Publication Bridging Geometric States via Generative Modeling Shengjie Luo, Yixian Xu, Di He, Shuxin Zheng, Tie-Yan Liu, Liwei Wang NeurIPS 2024 | October 2024
Recherche
Recherche