출판 Automated Proof Generation for Rust Code via Self-Evolution Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou ICLR 2025 | October 2024 프로젝트
출판 1-bit AI Infra: Part 1.1, Fast and Lossless BitNet b1.58 Inference on CPUs Jinheng Wang, Hansong Zhou, Ting Song, Shaoguang Mao, Shuming Ma, Hongyu Wang, Yan Xia, Furu Wei October 2024 arXiv | October 2024
출판 Differential Transformer Tianzhu Ye, Li Dong, Yuqing Xia, Yutao Sun, Yi Zhu, Gao Huang, Furu Wei MSR-TR-2024-42 | October 2024 글쓴이 Microsoft
출판 Multimodal Large Language Models Make Text-to-Image Generative Models Align Better Xun Wu, Shaohan Huang, Furu Wei October 2024
출판 Boosting Text-to-Video Generative Model with MLLMs Feedback Xun Wu, Shaohan Huang, Furu Wei October 2024
출판 A Large-Scale Human-Centric Benchmark for Referring Expression Comprehension in the LMM Era Fangyun Wei October 2024
출판 Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation Shaonan Wu, Shuai Lu, Yeyun Gong, Nan Duan, Ping Wei October 2024 October 2024
출판 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
출판 Predictor-Corrector Enhanced Transformers with Exponential Moving Average Coefficient Learning Rui Wang, Junliang Guo, Xu Tan NeurIPS 2024 | October 2024
출판 EEG2Video: Towards Decoding Dynamic Visual Perception from EEG Signals Yansen Wang, Zilong Wang October 2024
Research
Research