影响力指数

13.89/100

超过 42.6%

全站排名 #36,923

发表论文1 篇

平均评分6.8

年均产出1.0 篇/年

AI 学术分析

Peter O'Hearn

Researcher@Meta·英国·OpenReview

研究方向

Formal Verification · AI

发表论文（1 篇）

NeurIPS 2025Poster

合作者 (2)

Ricardo Silveira Cabral