Michael Norrish

~Michael_Norrish1

2

论文总数

2.0

年均投稿

6.4

平均评分

接收情况1/2

会议分布

NeurIPS

1

ICLR

1

发表论文 (2 篇)

20252 篇

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes

NeurIPS 2025Poster

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes

ICLR 2025Rejected

合作者 (4)

Amir Dezfouli2 篇

Christian Walder2 篇

Paul Montague2 篇

Sean Lamont2 篇