Nguyen, ThanhVu

2 publications

NeurIPS 2025 Compositional Neural Network Verification via Assume-Guarantee Reasoning Hai Duong, David Shriver, ThanhVu Nguyen, Matthew B. Dwyer

NeurIPS 2025 Generating and Checking DNN Verification Proofs Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer