Shriver, David

3 publications

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

ICLR 2025 Concept-ROT: Poisoning Concepts in Large Language Models with Model Editing Keltin Grimes, Marco Christiani, David Shriver, Marissa Catherine Connor

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