Ye Yuan

23 papers A* 4Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient Diffusion Models: A Survey.
CoRR
Hui Shen, Jingxuan Zhang, Boning Xiong, Rui Hu, Shoufa Chen, Zhongwei Wan, Xin Wang, Yu Zhang, Zixuan Gong, Guangyin Bao, Chaofan Tao, Yongfeng Huang, Ye Yuan, Mi Zhang
2025 J jnl
Efficient Diffusion Models: A Survey.
Trans. Mach. Learn. Res.
Hui Shen, Jingxuan Zhang, Boning Xiong, Rui Hu, Shoufa Chen, Zhongwei Wan, Xin Wang, Yu Zhang, Zixuan Gong, Guangyin Bao, Chaofan Tao, Yongfeng Huang, Ye Yuan, Mi Zhang
2025 J jnl
FMC: Formalization of Natural Language Mathematical Competition Problems.
CoRR
Jiaxuan Xie, Chengwu Liu, Ye Yuan, Siqi Li, Zhiping Xiao, Ming Zhang
2025 — conf
MMEvalPro: Calibrating Multimodal Benchmarks Towards Trustworthy and Efficient Evaluation.
NAACL (Long Papers)
Jinsheng Huang, Liang Chen, Taian Guo, Fu Zeng, Yusheng Zhao, Bohan Wu, Ye Yuan, Haozhe Zhao, Zhihui Guo, Yichi Zhang, Jingyang Yuan, Wei Ju, Luchen Liu, Tianyu Liu, Baobao Chang, Ming Zhang
2025 — conf
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification.
ACL (1)
Chengwu Liu, Ye Yuan, Yichun Yin, Yan Xu, Xin Xu, Zaoyu Chen, Yasheng Wang, Lifeng Shang, Qun Liu, Ming Zhang
2025 J jnl
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification.
CoRR
Chengwu Liu, Ye Yuan, Yichun Yin, Yan Xu, Xin Xu, Zaoyu Chen, Yasheng Wang, Lifeng Shang, Qun Liu, Ming Zhang
2024 J jnl
A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning.
CoRR
Ye Yuan, Chengwu Liu, Jingyang Yuan, Gongbo Sun, Siqi Li, Ming Zhang
2024 J jnl
AquilaMoE: Efficient Training for MoE Models with Scale-Up and Scale-Out Strategies.
CoRR
Bo-Wen Zhang, Liangdong Wang, Ye Yuan, Jijie Li, Shuhao Gu, Mengdi Zhao, Xinya Wu, Guang Liu, Chengwei Wu, Hanyu Zhao, Li Du, Yiming Ju, Quanyue Ma, Yulong Ao, Yingli Zhao, Songhe Zhu, Zhou Cao, Dong Liang, Yonghua Lin, Ming Zhang, Shunfei Wang, Yanxin Zhou, Min Ye, Xuekai Chen, Xinyang Yu, Xiangjun Huang, Jian Yang
2024 J jnl
MMEvalPro: Calibrating Multimodal Benchmarks Towards Trustworthy and Efficient Evaluation.
CoRR
Jinsheng Huang, Liang Chen, Taian Guo, Fu Zeng, Yusheng Zhao, Bohan Wu, Ye Yuan, Haozhe Zhao, Zhihui Guo, Yichi Zhang, Jingyang Yuan, Wei Ju, Luchen Liu, Tianyu Liu, Baobao Chang, Ming Zhang
2024 — conf
Measuring Social Norms of Large Language Models.
NAACL-HLT (Findings)
Ye Yuan, Kexin Tang, Jianhao Shen, Ming Zhang, Chenguang Wang
2024 J jnl
Measuring Social Norms of Large Language Models.
CoRR
Ye Yuan, Kexin Tang, Jianhao Shen, Ming Zhang, Chenguang Wang
2024 A* conf
Measuring Vision-Language STEM Skills of Neural Models.
ICLR
Jianhao Shen, Ye Yuan, Srbuhi Mirzoyan, Ming Zhang, Chenguang Wang
2024 J jnl
Measuring Vision-Language STEM Skills of Neural Models.
CoRR
Jianhao Shen, Ye Yuan, Srbuhi Mirzoyan, Ming Zhang, Chenguang Wang
2024 A* conf
Preparing Lessons for Progressive Training on Language Models.
AAAI
Yu Pan, Ye Yuan, Yichun Yin, Jiaxin Shi, Zenglin Xu, Ming Zhang, Lifeng Shang, Xin Jiang, Qun Liu
2024 J jnl
Preparing Lessons for Progressive Training on Language Models.
CoRR
Yu Pan, Ye Yuan, Yichun Yin, Jiaxin Shi, Zenglin Xu, Ming Zhang, Lifeng Shang, Xin Jiang, Qun Liu
2024 J jnl
Vision-Braille: An End-to-End Tool for Chinese Braille Image-to-Text Translation.
CoRR
Alan Wu, Ye Yuan, Ming Zhang
2023 J jnl
FIMO: A Challenge Formal Dataset for Automated Theorem Proving.
CoRR
Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu
2023 A* conf
Reusing Pretrained Models by Multi-linear Operators for Efficient Training.
NeurIPS
Yu Pan, Ye Yuan, Yichun Yin, Zenglin Xu, Lifeng Shang, Xin Jiang, Qun Liu
2023 J jnl
Reusing Pretrained Models by Multi-linear Operators for Efficient Training.
CoRR
Yu Pan, Ye Yuan, Yichun Yin, Zenglin Xu, Lifeng Shang, Xin Jiang, Qun Liu
2023 A* conf
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
EMNLP
Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
2023 J jnl
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.
CoRR
Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
2022 — conf
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion.
EMNLP (Findings)
Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song
2022 J jnl
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion.
CoRR
Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song