Scholar
Clark Barrett
Google Scholar ID: BtwmZfQAAAAJ
Stanford University
Formal Methods
Satisfiability Modulo Theories
Automated Reasoning
Verification
Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
13,976
H-index
45
i10-index
134
Publications
20
Co-authors
73
list available
Contact
GitHub
Open ↗
LinkedIn
Open ↗
Publications
26 items
When Do Intrinsic Rewards Lead to Exploration?
2026
Cited
0
Stochastic World Models for Verifying Vision-Based Neural Feedback Systems
2026
Cited
0
Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems
2026
Cited
0
An AI Approach to Verified Production Cryptographic Libraries
2026
Cited
0
Lookahead Branching for Neural Network Verification
2026
Cited
0
Automated Reasoning with Nested Datatypes
2026
Cited
0
DIRECT: When and Where Should You Allocate Test-Time Compute in Embodied Planners?
2026
Cited
0
Automating Bitvector and Finite Field Equivalence Proofs in Lean
2026
Cited
0
Load more
Co-authors
11 total
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Andrew Reynolds
University of Iowa, Amazon Web Services
Guy Katz
The Hebrew University of Jerusalem
David L. Dill
Professor, Emeritus, of Computer Science, Stanford University
Haoze Wu
Assistant Professor, Amherst College
Yoni Zohar
Bar Ilan University
Haniel Barbosa
Universidade Federal de Minas Gerais
Ying Sheng
xAI
