Clark Barrett
Scholar

Clark Barrett

Google Scholar ID: BtwmZfQAAAAJ
Stanford University
Formal MethodsSatisfiability Modulo TheoriesAutomated ReasoningVerificationSecurity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
13,976
 
H-index
45
 
i10-index
134
 
Publications
20
 
Co-authors
73
list available
Contact
GitHubOpen ↗LinkedInOpen ↗
Publications
16 items
The FABRIC Strategy for Verifying Neural Feedback Systems
2026
Cited
0
Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
2026
Cited
0
Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoning
2026
Cited
0
CSLib: The Lean Computer Science Library
2026
Cited
0
A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems
2026
Cited
0
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
2025
Cited
0
Solving Set Constraints with Comprehensions and Bounded Quantifiers
2025
Cited
0
Integer Reasoning Modulo Different Constants in SMT
2025
Cited
0
Resume (English only)
Co-authors
73 total
Cesare Tinelli
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Andrew Reynolds
Andrew Reynolds
University of Iowa, Amazon Web Services
Guy Katz
Guy Katz
The Hebrew University of Jerusalem
David L. Dill
David L. Dill
Professor, Emeritus, of Computer Science, Stanford University
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Haoze Wu
Haoze Wu
Assistant Professor, Amherst College
Yoni Zohar
Yoni Zohar
Bar Ilan University