Paper
Hub
学术助手
数据洞察
排行榜
搜索
Toggle language
影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
13.89
/100
超过 42.6%
全站排名 #36,923
发表论文
1
篇
平均评分
6.8
年均产出
1.0
篇/年
AI 学术分析
Peter O'Hearn
Researcher
@
Meta
·
英国
·
OpenReview
研究方向
Formal Verification · AI
发表论文(1 篇)
评分
2025
1 篇
6.8
21
NeurIPS 2025
Poster
二作
合作者 (2)
合作网络
PK
Pascal Kesseli
1 篇
RC
Ricardo Silveira Cabral
1 篇