Clark Barrett
13 papers · 2019–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (28)
π
Century Club Β· Bronze
π
Renaissance Researcher
(5)
ποΈ
Keyword Collector
(60)
Top co-authors
Research topics
Machine Learning
(9)
Artificial Intelligence
(8)
Core AI
(8)
Deep Learning
(5)
Optimization & Theory Β· Machine Learning
(4)
Natural Language Processing
(3)
Application Areas
(3)
Resources & Methods
(3)
Techniques
(3)
Knowledge & Reasoning
(2)
Mathematics & Optimization
(2)
Core Methods
(2)
Models
(2)
Optimization
(2)
Optimization & Theory Β· Deep Learning
(2)
Keywords
large language model
(4)
automated reasoning
(3)
formal verification
(3)
neural network verification
(3)
inference optimization
(2)
kv cache
(2)
bound propagation
(2)
robustness verification
(2)
constraint solving
(1)
neural network optimization
(1)
theorem proving
(1)
formal methods
(1)
online learning
(1)
deep learning
(1)
program verification
(1)
uncertainty quantification
(1)
integer linear programming
(1)
structured output
(1)
divide and conquer
(1)
efficient inference
(1)
Papers
Cubing for Tuning
AAAI 2026
Efficiently Computing Compact Formal Explanations
AAAI 2026
Parameterized Abstract Interpretation for Transformer Verification
AAAI 2026
Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures
L4DC 2026
Lemur: Integrating Large Language Models in Automated Program Verification
ICLR 2024
SGLang: Efficient Execution of Structured Language Model Programs
NeurIPS 2024
Towards Efficient Verification of Quantized Neural Networks
AAAI 2024
Convex Bounds on the Softmax Function with Applications to Robustness Verification
AISTATS 2023
H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models
NeurIPS 2023
Towards Optimal Caching and Model Selection for Large Model Inference
NeurIPS 2023
VeriX: Towards Verified Explainability of Deep Neural Networks
NeurIPS 2023
Politeness for the Theory of Algebraic Datatypes (Extended Abstract)
IJCAI 2021
G2SAT: Learning to Generate SAT Formulas
NeurIPS 2019