ThanhVu Nguyen

~ThanhVu_Nguyen1

2

论文总数

2.0

年均投稿

7.5

平均评分

接收情况2/2

会议分布

NeurIPS

2

发表论文 (2 篇)

20252 篇

Generating and Checking DNN Verification Proofs

NeurIPS 2025Poster

Compositional Neural Network Verification via Assume-Guarantee Reasoning

NeurIPS 2025Spotlight

合作者 (3)

Matthew B. Dwyer2 篇

David Shriver1 篇