Clark Barrett
Stanford University
H-index: 48
North America-United States
Top articles of Clark Barrett
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks | arXiv preprint arXiv:2401.14461 | Haoze Wu Omri Isac Aleksandar Zeljić Teruhiro Tagomori Matthew Daggitt | 2024/1/25 |
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL | Hanna Lachnitt Mathias Fleury Leni Aniva Andrew Reynolds Haniel Barbosa | 2024/4/4 | |
Split Gröbner Bases for Satisfiability Modulo Finite Fields | Cryptology ePrint Archive | Alex Ozdemir Shankara Pailoor Alp Bassa Kostas Ferles Clark Barrett | 2024 |
Towards Efficient Verification of Quantized Neural Networks | Proceedings of the AAAI Conference on Artificial Intelligence | Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu | 2024/3/24 |
Towards Optimal Caching and Model Selection for Large Model Inference | Advances in Neural Information Processing Systems | Banghua Zhu Ying Sheng Lianmin Zheng Clark Barrett Michael Jordan | 2024/2/13 |
H2o: Heavy-hitter oracle for efficient generative inference of large language models | Advances in Neural Information Processing Systems | Zhenyu Zhang Ying Sheng Tianyi Zhou Tianlong Chen Lianmin Zheng | 2024/2/13 |
Markovian Agents for Truthful Language Modeling | arXiv preprint arXiv:2404.18988 | Scott Viteri Max Lamparth Peter Chatain Clark Barrett | 2024/4/29 |
Verix: Towards verified explainability of deep neural networks | Min Wu Haoze Wu Clark Barrett | 2023/12 | |
Generalized Optimization Modulo Theories | arXiv preprint arXiv:2404.16122 | Nestan Tsiskaridze Clark Barrett Cesare Tinelli | 2024/4/24 |
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences | Journal of automated reasoning | Ying Sheng Andres Nötzli Andrew Reynolds Yoni Zohar David Dill | 2023/9 |
Flexgen: High-throughput generative inference of large language models with a single gpu | Ying Sheng Lianmin Zheng Binhang Yuan Zhuohan Li Max Ryabinin | 2023/7/3 | |
DNN verification, reachability, and the exponential function problem | arXiv preprint arXiv:2305.06064 | Omri Isac Yoni Zohar Clark Barrett Guy Katz | 2023/5/10 |
Soy: An Efficient MILP Solver for Piecewise-Affine Systems | Haoze Wu Min Wu Dorsa Sadigh Clark Barrett | 2023/10 | |
Clover: Closed-Loop Verifiable Code Generation | arXiv preprint arXiv:2310.17807 | Chuyue Sun Ying Sheng Oded Padon Clark Barrett | 2023/10/26 |
Combining combination properties: an analysis of stable infiniteness, convexity, and politeness | Guilherme V Toledo Yoni Zohar Clark Barrett | 2023/7/1 | |
PEak: A Single Source of Truth for Hardware Design and Verification | arXiv preprint arXiv:2308.13106 | Caleb Donovick Ross Daly Jackson Melchert Lenny Truong Priyanka Raina | 2023/8/24 |
Convex bounds on the softmax function with applications to robustness verification | Dennis Wei Haoze Wu Min Wu Pin-Yu Chen Clark Barrett | 2023/4/11 | |
Global optimization of objective functions represented by ReLU networks | Machine Learning | Christopher A Strong Haoze Wu Aleksandar Zeljić Kyle D Julian Guy Katz | 2023/10 |
A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery | Abdalrhman Mohamed Andrew Reynolds Clark Barrett Cesare Tinelli | 2023/10/24 | |
Bounded Verification for Finite-Field-Blasting: In a Compiler for Zero Knowledge Proofs | Alex Ozdemir Riad S Wahby Fraser Brown Clark Barrett | 2023/7/17 |