影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
42.38/100
前 12.8%
全站排名 #8,210
发表论文9 篇
平均评分
年均产出3.0 篇/年
Yuan Yao
研究方向
program verfication and theorem proving · machine learning quality assurance · code intelligence
17
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
ICLR 2026Poster
11
Fair Conformal Classification via Learning Representation-Based Groups
ICLR 2026Poster
11
Conformal Correction for Efficiency May be at Odds with Entropy
ICLR 2026Rejected
22
V-MAGE: A Game Evaluation Framework for Assessing Vision-Centric Capabilities in Multimodal Large Language Models
ICLR 2026Withdrawn
12
ChessArena: A Chess Testbed for Evaluating Strategic Reasoning Capabilities of Large Language Models
ICLR 2026Withdrawn
通讯