Paper
Hub
学术助手
数据洞察
排行榜
搜索
Toggle language
影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
4.26
/100
超过 13.2%
全站排名 #55,890
发表论文
2
篇
平均评分
4.8
年均产出
2.0
篇/年
AI 学术分析
Timothe Kasriel
Undergrad student
@
University of California, Berkeley
·
美国
·
OpenReview
研究方向
Automated Theorem Proving
发表论文(2 篇)
已接收
未接收
评分
2026
2 篇
5.0
15
ICLR 2026
Rejected
一作
4.7
20
ICLR 2026
Poster
合作者 (7)
合作网络
DS
Dawn Song
2 篇
JH
Jingxuan He
合作者
2 篇
KY
Kaiyu Yang
1 篇
ZY
Zhe Ye
合作者
1 篇
ZY
Zhengxu Yan
1 篇
QD
Qinghua Ding
1 篇
TL
Thomas Lu
1 篇