Shriver, David

1. Refactoring Neural Networks for Verification
   2019/08/06 by David Shriver, Dong Xu, Shriver, David +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques #Software Engineering Research
2. Concept-ROT: Poisoning Concepts in Large Language Models with Model Editing
   2024/12/17 by Keltin Grimes, Grimes, Keltin, Monica Christiani +5 · 3 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling