PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion. - Jianhao Shen; Chenguang Wang 001; Ye Yuan 016; Jiawei Han 001; Heng Ji 001; Koushik Sen; Ming Zhang 004; Dawn Song (EMNLP (Findings), 2022)

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. - Jing Xiong; Jianhao Shen; Ye Yuan 016; Haiming Wang; Yichun Yin; Zhengying Liu; Lin Li; Zhijiang Guo; Qingxing Cao; Yinya Huang; Chuanyang Zheng; Xiaodan Liang; et al. (EMNLP, 2023)

Reusing Pretrained Models by Multi-linear Operators for Efficient Training. - Yu Pan 005; Ye Yuan 016; Yichun Yin; Zenglin Xu; Lifeng Shang; Xin Jiang 002; Qun Liu 001 (NeurIPS, 2023)

FIMO: A Challenge Formal Dataset for Automated Theorem Proving. - Chengwu Liu 001; Jianhao Shen; Huajian Xin; Zhengying Liu; Ye Yuan 016; Haiming Wang; Wei Ju 001; Chuanyang Zheng; Yichun Yin; Lin Li; Ming Zhang 004; Qun Liu 001 (CoRR, 2023)

Preparing Lessons for Progressive Training on Language Models. - Yu Pan 005; Ye Yuan 016; Yichun Yin; Jiaxin Shi; Zenglin Xu; Ming Zhang 004; Lifeng Shang; Xin Jiang 002; Qun Liu 001 (AAAI, 2024)

Measuring Vision-Language STEM Skills of Neural Models. - Jianhao Shen; Ye Yuan 016; Srbuhi Mirzoyan; Ming Zhang 004; Chenguang Wang 001 (ICLR, 2024)

Measuring Social Norms of Large Language Models. - Ye Yuan 016; Kexin Tang; Jianhao Shen; Ming Zhang 004; Chenguang Wang 001 (NAACL-HLT (Findings), 2024)

Vision-Braille: An End-to-End Tool for Chinese Braille Image-to-Text Translation. - Alan Wu 001; Ye Yuan 016; Ming Zhang 004 (CoRR, 2024)

A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning. - Ye Yuan 016; Chengwu Liu 001; Jingyang Yuan; Gongbo Sun; Siqi Li; Ming Zhang 004 (CoRR, 2024)

AquilaMoE: Efficient Training for MoE Models with Scale-Up and Scale-Out Strategies. - Bo-Wen Zhang 011; Liangdong Wang; Ye Yuan 016; Jijie Li; Shuhao Gu; Mengdi Zhao; Xinya Wu; Guang Liu 006; Chengwei Wu; Hanyu Zhao; Li Du; Yiming Ju; et al. (CoRR, 2024)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification. - Chengwu Liu 001; Ye Yuan 016; Yichun Yin; Yan Xu; Xin Xu; Zaoyu Chen; Yasheng Wang; Lifeng Shang; Qun Liu 001; Ming Zhang 004 (ACL (1), 2025)

MMEvalPro: Calibrating Multimodal Benchmarks Towards Trustworthy and Efficient Evaluation. - Jinsheng Huang; Liang Chen 024; Taian Guo; Fu Zeng; Yusheng Zhao; Bohan Wu; Ye Yuan 016; Haozhe Zhao; Zhihui Guo; Yichi Zhang; Jingyang Yuan; Wei Ju 001; et al. (NAACL (Long Papers), 2025)

Efficient Diffusion Models: A Survey. - Hui Shen; Jingxuan Zhang; Boning Xiong; Rui Hu; Shoufa Chen; Zhongwei Wan; Xin Wang 120; Yu Zhang 133; Zixuan Gong; Guangyin Bao; Chaofan Tao; Yongfeng Huang; et al. (Trans. Mach. Learn. Res., 2025)

FMC: Formalization of Natural Language Mathematical Competition Problems. - Jiaxuan Xie; Chengwu Liu 001; Ye Yuan 016; Siqi Li; Zhiping Xiao 001; Ming Zhang 004 (CoRR, 2025)