Clark Barrett
12 papers
· 2019–2026
· 5 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Academic Marathon
(5)
π
Cross-Pollinator
(12)
πΊοΈ
Taxonomy Completionist
(27)
π
Renaissance Researcher
(5)
π
Century Club
(12)
ποΈ
Keyword Collector
(53)
Conferences
NIPS (5)
AAAI (4)
AISTATS (1)
ICLR (1)
IJCAI (1)
Top co-authors
Keywords
large language model
(3)
neural network verification
(3)
automated reasoning
(2)
inference optimization
(2)
bound propagation
(2)
formal verification
(2)
kv cache
(2)
robustness verification
(2)
prompt engineering
(1)
constraint solving
(1)
online learning
(1)
formal methods
(1)
algorithm optimization
(1)
binary search
(1)
neural network optimization
(1)
uncertainty quantification
(1)
satisfiability problem
(1)
divide and conquer
(1)
generative model
(1)
deep learning
(1)
Papers
Cubing for Tuning
AAAI 2026
G2SAT: Learning to Generate SAT Formulas
NIPS 2019