Clark Barrett
- Papers
- 7
Cite
Notes
Only stored in your browser.
Authored papers
7Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
arXiv 2024
Markovian Transformers for Informative Language Modeling
arXiv 2024
H$_2$O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models
arXiv 2023
FlexGen: High-Throughput Generative Inference of Large Language Models with a Single GPU
arXiv 2023
SGLang: Efficient Execution of Structured Language Model Programs
arXiv 2023
On Optimal Caching and Model Multiplexing for Large Model Inference
arXiv 2023
Lemur: Integrating Large Language Models in Automated Program Verification
arXiv 2023
Affiliations
Frequent co-authors
10from 7 papers
Lianmin Zheng
grad-student
Ying Sheng
researcher
Beidi Chen
Christopher Ré
Chuyue Sun
Ion Stoica
professor / co-founder
Joseph E. Gonzalez
Zhiqiang Xie
Banghua Zhu
professor
Binhang Yuan