David Shriver

~David_Shriver1

2

论文总数

2.0

年均投稿

6.8

平均评分

接收情况2/2

会议分布

NeurIPS

1

ICLR

1

发表论文 (2 篇)

20252 篇

Compositional Neural Network Verification via Assume-Guarantee Reasoning

NeurIPS 2025Spotlight

Concept-ROT: Poisoning Concepts in Large Language Models with Model Editing

ICLR 2025Poster

合作者 (6)

Keltin Grimes1 篇

Marco Christiani1 篇

Marissa Catherine Connor1 篇

Matthew B. Dwyer1 篇

ThanhVu Nguyen1 篇