Matthew B. Dwyer

~Matthew_B._Dwyer1

3

论文总数

3.0

年均投稿

7.3

平均评分

接收情况3/3

会议分布

NeurIPS

3

发表论文 (3 篇)

20253 篇

Generating and Checking DNN Verification Proofs

NeurIPS 2025Poster

LabelAny3D: Label Any Object 3D in the Wild

NeurIPS 2025Poster

Compositional Neural Network Verification via Assume-Guarantee Reasoning

NeurIPS 2025Spotlight

合作者 (7)

ThanhVu Nguyen2 篇

Radowan Mahmud Redoy1 篇

Sebastian Elbaum1 篇

Zezhou Cheng1 篇

David Shriver1 篇