影响力指数

13.89/100

超过 42.6%

全站排名 #36,923

发表论文1 篇

平均评分6.8

年均产出1.0 篇/年

Peter O'Hearn

Researcher@Meta·英国·OpenReview

研究方向

Formal Verification · AI

Logic.py: Bridging the Gap between LLMs and Constraint Solvers

NeurIPS 2025Poster

合作者 (2)

Ricardo Silveira Cabral