Paper
Hub
学术助手
数据洞察
排行榜
获奖论文
搜索
Toggle language
影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
12.27
/100
超过 38%
全站排名 #39,931
发表论文
1
篇
平均评分
6.8
年均产出
1.0
篇/年
Prasad Tetali
Georgia Tech Research Corporation
·
OpenReview
发表论文
1
合作网络
学术分析
2025
1 篇
评分
6.8
22
ImProver: Agent-Based Automated Proof Optimization
ICLR 2025
Poster
三作
合作者 (3)
JA
Jeremy Avigad
1 篇
RA
Riyaz Ahuja
1 篇
SW
Sean Welleck
1 篇