Clark W. Barrett

Most-cited papers

H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models
Clark W. Barrett, Rui-Si Cai, Beidi Chen, Tian-Long Chen +8 more
2023Neural Information Processing Systems1,067 citations Open access
Semantic Scholar
High-throughput Generative Inference of Large Language Models with a Single GPU
Ying Sheng, Lian-Min Zheng, Binhang Yuan, Zhuo-Han Li +10 more
2023International Conference on Machine Learning993 citations Open access
Semantic Scholar
Identifying and Mitigating the Security Risks of Generative AI
Clark W. Barrett, Bradley L Boyd, Elie Bursztein, Nicholas Carlini +19 more
2023Found. Trends Priv. Secur.145 citations
Semantic Scholar
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Hao-Ze Wu, Omri Isac, Aleksandar Zelji'c, Teruhiro Tagomori +13 more
2024International Conference on Computer Aided Verification130 citations
Semantic Scholar
Lemur: Integrating Large Language Models in Automated Program Verification
Hao-Ze Wu, Clark W. Barrett, Nina Narodytska
2023International Conference on Learning Representations105 citations Open access
Semantic Scholar
VeriX: Towards Verified Explainability of Deep Neural Networks
Min Wu, Haoze Wu, Clark W. Barrett
2022Neural Information Processing Systems40 citations Open access
Semantic Scholar
Efficient Neural Network Analysis with Sum-of-Infeasibilities
Haoze Wu, Aleksandar Zelji'c, Guy Katz, Clark W. Barrett
2022International Conference on Tools and Algorithms for Construction and Analysis of Systems40 citations Open access
Semantic Scholar
Neural Network Verification with Proof Production
Omri Isac, Clark W. Barrett, M. Zhang, Guy Katz
2022Formal Methods in Computer-Aided Design33 citations
Semantic Scholar
On Optimal Caching and Model Multiplexing for Large Model Inference
Bang-Hua Zhu, Ying Sheng, Lian-Min Zheng, Clark W. Barrett +2 more
2023arXiv.org32 citations Open access
Semantic Scholar
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
Matan Ostrovsky, Clark W. Barrett, Guy Katz
2022Automated Technology for Verification and Analysis32 citations Open access
Semantic Scholar
Towards Efficient Verification of Quantized Neural Networks
Pei Huang, Hao-Ze Wu, Yuting Yang, Ieva Daukantas +3 more
2023AAAI Conference on Artificial Intelligence29 citations
Semantic Scholar
Toward Certified Robustness Against Real-World Distribution Shifts
Haoze Wu, Teruhiro Tagomori, Alexander Robey, Feng-Jun Yang +5 more
20222023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML)29 citations Open access
Semantic Scholar
Convex Bounds on the Softmax Function with Applications to Robustness Verification
Dennis L. Wei, Haoze Wu, Min Wu, Pin-Yu Chen +2 more
2023International Conference on Artificial Intelligence and Statistics25 citations Open access
Semantic Scholar
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Udayan Mandal, Guy Amir, Hao-Ze Wu, Ieva Daukantas +8 more
2024Formal Methods in Computer-Aided Design24 citations
Semantic Scholar
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal, Guy Amir, Hao-Ze Wu, Ieva Daukantas +9 more
2024Symposium on Dependable Autonomic and Secure Computing13 citations Open access
Semantic Scholar
Tighter Abstract Queries in Neural Network Verification
Elazar Cohen, Y. Y. Elboher, Clark W. Barrett, Guy Katz
2022Logic Programming and Automated Reasoning11 citations Open access
Semantic Scholar
On Optimizing Back-Substitution Methods for Neural Network Verification
Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz
2022Formal Methods in Computer-Aided Design10 citations
Semantic Scholar
Proof Minimization in Neural Network Verification
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett +1 more
2025arXiv.org6 citations
Semantic Scholar
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann +2 more
2023Formal Methods in Computer-Aided Design6 citations
Semantic Scholar
Cubing for Tuning
Hao-Ze Wu, Clark W. Barrett, Nina Narodytska
2025AAAI Conference on Artificial Intelligence5 citations
Semantic Scholar
Proof-Driven Clause Learning in Neural Network Verification
Omri Isac, Idan Refaeli, Hao-Ze Wu, Clark W. Barrett +1 more
2025arXiv.org4 citations
Semantic Scholar
Efficiently Computing Compact Formal Explanations
Min Wu, Xiaofu Li, Hao-Ze Wu, Clark W. Barrett
2024AAAI Conference on Artificial Intelligence3 citations Open access
Semantic Scholar
Lookahead Branching for Neural Network Verification
Liam Davis, Duo Zhou, Huan Zhang, Guy Katz +2 more
2026Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence1 citations
Semantic Scholar
Soy: An Efficient MILP Solver for Piecewise-Affine Systems
Haoze Wu, Min Wu, Dorsa Sadigh, Clark W. Barrett
2023IEEE/RJS International Conference on Intelligent RObots and Systems1 citations Open access
Semantic Scholar
NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Clark W. Barrett, Misty D. Davies, Temesghen Kahsai
2017NASA Formal Methods1 citations
Semantic Scholar
Acknowledgment of Reviewers for 2011
J. Barrat, Michael E. J. Barratt, François-Xavier Barre, Esther Barreiro +126 more
20120 citations
Semantic Scholar