Ye Yuan

7 papers at tracked venues · 5 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ACL ×3 NAACL ×2 AAAI ×1 ICLR ×1

Frequent coauthors

Ming Zhang

×7

Yichun Yin

×3

Jianhao Shen

×3

Lifeng Shang

×3

Chengwu Liu

×2

Yan Xu

×2

Bohan Wu

×2

Qun Liu

×2

Chenguang Wang

×2

Jiaxuan Xie

×1

Botao Li

×1

Siqi Li

×1

Papers

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
ACL 2026 ·
Chengwu Liu
,
Yichun Yin
, Ye Yuan,
Jiaxuan Xie
,
Botao Li
,
Siqi Li
,
Jianhao Shen
,
Yan Xu
,
Lifeng Shang
,
Ming Zhang
SciCustom: A Framework for Custom Evaluation of Scientific Capabilities in Large Language Models
ACL 2026 ·
Yiyang Gu
,
Junwei Yang
,
Junyu Luo
, Ye Yuan,
Bin Feng
,
Yingce Xia
,
Shufang Xie
,
Kaili Liu
,
Bohan Wu
,
Qi Shi
,
Haoran Li
,
Beier Xiao
,
Zhiping Xiao
,
Xiao Luo
,
Weizhi Zhang
,
Philip S. Yu
,
Zequn Liu
,
Ming Zhang
MMEvalPro: Calibrating Multimodal Benchmarks Towards Trustworthy and Efficient Evaluation
NAACL 2025 ·
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
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
ACL 2025 ·
Chengwu Liu
, Ye Yuan,
Yichun Yin
,
Yan Xu
,
Xin Xu
,
Zaoyu Chen
,
Yasheng Wang
,
Lifeng Shang
,
Qun Liu
,
Ming Zhang
Measuring Social Norms of Large Language Models
NAACL 2024 · Ye Yuan,
Kexin Tang
,
Jianhao Shen
,
Ming Zhang
,
Chenguang Wang
Measuring Vision-Language STEM Skills of Neural Models
ICLR 2024 ·
Jianhao Shen
, Ye Yuan,
Srbuhi Mirzoyan
,
Ming Zhang
,
Chenguang Wang
Preparing Lessons for Progressive Training on Language Models
AAAI 2024 ·
Yu Pan
, Ye Yuan,
Yichun Yin
,
Jiaxin Shi
,
Zenglin Xu
,
Ming Zhang
,
Lifeng Shang
,
Xin Jiang
,
Qun Liu