Paper
Hub
学术助手
数据洞察
排行榜
获奖论文
搜索
Toggle language
影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
6.89
/100
超过 21.6%
全站排名 #50,473
发表论文
1
篇
平均评分
5.3
年均产出
1.0
篇/年
XintaoYu
MS student
@
Renmin University of China
·
中国
·
OpenReview
研究方向
Lean · deep learning
发表论文
1
合作网络
学术分析
2026
1 篇
评分
5.3
29
Aria: an Agent for Retrieval and Iterative Auto-Formalization via Dependency Graph
ICLR 2026
Poster
合作者 (5)
BD
Bin Dong
1 篇
GG
Guoxiong Gao
1 篇
HW
Hanyu Wang
1 篇
RX
Ruohan Xie
1 篇
YW
Yutong Wang
1 篇