Dwyer, Matthew B.

5 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

NeurIPS 2025 LabelAny3D: Label Any Object 3D in the Wild Jin Yao, Radowan Mahmud Redoy, Sebastian Elbaum, Matthew B. Dwyer, Zezhou Cheng

AAAI 2025 Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian G. Elbaum, Matthew B. Dwyer, Lu Feng

AAAI 2019 Evaluating Recommender System Stability with Influence-Guided Fuzzing David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum