Yuan Yao

Associate Professor, Nanjing University

Joined

September 2019

Names

Yuan Yao

Emails

****@gmail.com (Confirmed)

****@nju.edu.cn (Confirmed)

Personal Links

Career & Education History

Associate Professor

Nanjing University (nju.edu.cn)

2021 – 2026

Assistant Professor

nanjing university (nju.edu.cn)

2016 – 2021

PhD student

Nanjing University (nju.edu.cn)

2009 – 2015

Advisors, Relations & Conflicts

PhD Advisor

Jian Lu

2009 – 2015

PhD Advisor

Feng Xu

2009 – 2015

Expertise

program verfication and theorem proving

2022 – 2025

machine learning quality assurance

2021 – 2025

code intelligence

2017 – 2025

Publications

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Xiao-Wen Yang, Zihao Zhang, Jianuo Cao, Zhi Zhou, Zenan Li, Lan-Zhe Guo, Yuan Yao, Taolue Chen, Yu-Feng Li, Xiaoxing Ma
- MATH-AI 2025 Poster
- Readers: Everyone
Fair Conformal Classification via Learning Representation-Based Groups
Senrong Xu, Yanke Zhou, Yuhao Tan, Zenan Li, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma
- ICLR 2026 Poster
- Readers: Everyone
ChessArena: A Chess Testbed for Evaluating Strategic Reasoning Capabilities of Large Language Models
Jincheng Liu, Sijun He, JingjingWu, Xiangsen Wang, Yang Chen, Zhaoqi Kuang, Siqi Bao, Yuan Yao
- ICLR 2026 Conference Withdrawn Submission
- Readers: Everyone
Conformal Correction for Efficiency May be at Odds with Entropy
Senrong Xu, Tianyu Wang, Zenan Li, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma
- Submitted to ICLR 2026
- Readers: Everyone
V-MAGE: A Game Evaluation Framework for Assessing Vision-Centric Capabilities in Multimodal Large Language Models
Xiangxi Zheng, Linjie Li, Zhengyuan Yang, Ping Yu, Alex Jinpeng Wang, Rui Yan, Yuan Yao, Lijuan Wang
- ICLR 2026 Conference Withdrawn Submission
- Readers: Everyone
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Xiao-Wen Yang, Zihao Zhang, Jianuo Cao, Zhi Zhou, Zenan Li, Lan-Zhe Guo, Yuan Yao, Taolue Chen, Yu-Feng Li, Xiaoxing Ma
- ICLR 2026 Poster
- Readers: Everyone
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
Zhi Zhou, Yuhao Tan, Zenan Li, Yuan Yao, Lan-Zhe Guo, Yu-Feng Li, Xiaoxing Ma
- NeurIPS 2025 poster
- Readers: Everyone
Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning
Zhi Zhou, Tan Yuhao, Zenan Li, Yuan Yao, Lan-Zhe Guo, Xiaoxing Ma, Yu-Feng Li
- CoRR 2025
- Readers: Everyone
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
- ICLR 2025
- Readers: Everyone
Denoised Graph Collaborative Filtering via Neighborhood Similarity and Dynamic Thresholding
Haibo Ye, Lijun Zhang, Yuan Yao, Sheng-Jun Huang
- IEEE Trans. Big Data 2024
- Readers: Everyone

View all 73 publications

Co-Authors

View all 137 co-authors