Clark Barrett
12 papers · 2019–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ 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
Efficiently Computing Compact Formal Explanations
AAAI 2026
Parameterized Abstract Interpretation for Transformer Verification
AAAI 2026
Cubing for Tuning
AAAI 2026
Lemur: Integrating Large Language Models in Automated Program Verification
ICLR 2024
SGLang: Efficient Execution of Structured Language Model Programs
NIPS 2024
Towards Efficient Verification of Quantized Neural Networks
AAAI 2024
Convex Bounds on the Softmax Function with Applications to Robustness Verification
AISTATS 2023
VeriX: Towards Verified Explainability of Deep Neural Networks
NIPS 2023
H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models
NIPS 2023
Towards Optimal Caching and Model Selection for Large Model Inference
NIPS 2023
Politeness for the Theory of Algebraic Datatypes (Extended Abstract)
IJCAI 2021
G2SAT: Learning to Generate SAT Formulas
NIPS 2019