影响力指数
31.67/100
前 22.6%
全站排名 #14,549
发表论文2
平均评分6.8
年均产出2.0 篇/年
AI 学术分析

David Shriver

Researcher@Software Engineering Institute, Carnegie Mellon University·美国·OpenReview
研究方向

adversarial machine learning · adversarial attacks · formal methods · formal verification · safety · correctness

发表论文2