researcher

Clark W. Barrett

Stanford University

48 papers hereh-index 4613.5k citations202 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

first author1
middle author30
last author16

Across the 47 of 48 papers where every author was matched, so the position is known.

fields

affiliations

Stanford University
Amazon Scholar

Homepage

same name

Clark W. Barrett — 24 papers, h 14
Clark W. Barrett — 11 papers, h 7
Clark W. Barrett — 5 papers, h 5
Clark W. Barrett — 4 papers, h 2
Clark W. Barrett — 3 papers, h 2
Clark W. Barrett — 2 papers, h 1

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20152023

most citedTowards Proving the Adversarial Robustness of Deep Neural Networks

119 citations · 465 across the 38 of their papers we have counts for

collaborators

Showing 2017 · cs.AIShow all

1 paper · 2 filters

cs.AI2017★ 2 cited

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Guy Katz, Clark Barrett, David Dill +2

Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical syst…