Paper
Hub
学术助手
数据洞察
排行榜
获奖论文
搜索
Toggle language
影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
23.19
/100
前 34.6%
全站排名 #22,266
发表论文
1
篇
平均评分
6.8
年均产出
1.0
篇/年
Riyaz Ahuja
MS student
@
Carnegie Mellon University
·
美国
·
OpenReview
发表论文
1
合作网络
学术分析
2025
1 篇
评分
6.8
22
ImProver: Agent-Based Automated Proof Optimization
ICLR 2025
Poster
一作
合作者 (3)
JA
Jeremy Avigad
1 篇
PT
Prasad Tetali
1 篇
SW
Sean Welleck
1 篇