Clark Barrett
- FlexGen: High-Throughput Generative Inference of Large Language Models with a Single GPU
2023/03/13 by Ying Sheng, Sheng, Ying, Lianmin Zheng +25 · 2 voices · 86 citations
Computer Science · Engineering · Materials Science · #Ferroelectric and Negative Capacitance Devices #Machine Learning in Materials Science #Topic Modeling #cs.AI #cs.LG #cs.PF
- SGLang: Efficient Execution of Structured Language Model Programs
2023/12/12 by Lianmin Zheng, Zheng, Lianmin, Liangsheng Yin +21 · 1 voice · 238 citations
Computer Science · #Natural Language Processing Techniques #Software Engineering Research #Topic Modeling #cs.AI #cs.PL
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
2017/02/03 by Guy Katz, Katz, Guy, Clark Barrett +7 · 1 voice · 52 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
- Algorithms for Verifying Deep Neural Networks
2019/03/15 by Changliu Liu, Liu, Changliu, Tomer Arnon +9 · 19 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms
- Lemur: Integrating Large Language Models in Automated Program Verification
2023/10/07 by Haoze Wu, Wu, Haoze, Clark Barrett +3 · 18 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Software Engineering Research #Software Testing and Debugging Techniques
- Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
2024/05/10 by David "davidad" Dalrymple, Joar Skalse, Dalrymple, David "davidad" +31 · 3 voices · 10 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #cs.AI
- Provably Minimally-Distorted Adversarial Examples
2017/09/29 by Nicholas Carlini, Carlini, Nicholas, Guy Katz +5 · 14 citations
Computer Science · #Adversarial Robustness in Machine Learning
- CSLib: The Lean Computer Science Library
2026/02/04 by Clark Barrett, Swarat Chaudhuri, Fabrizio Montesi +5 · 5 voices
#cs.LO #cs.PL
- Clover: Closed-Loop Verifiable Code Generation
2023/10/26 by Chuyue Sun, Ying Sheng, Sun, Chuyue +5 · 12 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Software Reliability and Analysis Research
- Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection
2024/05/09 by Ross Daly, Daly, Ross, Caleb Donovick +11 · 2 voices
#cs.LO #cs.AR
- Processor Hardware Security Vulnerabilities and their Detection by\n Unique Program Execution Checking
2018/12/05 by Mohammad Rahmani Fadiheh, Dominik Stoffel, Fadiheh, Mohammad Rahmani +8 · 1 voice · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #cs.CR
- DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
2017/10/02 by Divya Gopinath, Gopinath, Divya, Guy Katz +5 · 6 citations
Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural and Evolutionary Computing (cs.NE)
- Toward Certified Robustness Against Real-World Distribution Shifts
2022/06/08 by Haoze Wu, Wu, Haoze, Teruhiro Tagomori +15 · 3 citations
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Model Reduction and Neural Networks
- Convex Bounds on the Softmax Function with Applications to Robustness Verification
2023/03/03 by Dennis Wei, Wei, Dennis, Haoze Wu +9 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG)
- Parallelization Techniques for Verifying Neural Networks
2020/04/17 by Haoze Wu, Wu, Haoze, Alex Ozdemir +17 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Radiation Effects in Electronics #Software Testing and Debugging Techniques
- Efficient Neural Network Analysis with Sum-of-Infeasibilities
2022/03/19 by Haoze Wu, Aleksandar Zeljić, Wu, Haoze +5 · 2 citations
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Optimization and Control (math.OC)
- Logic Bug Detection and Localization Using Symbolic Quick Error\n Detection
2017/11/15 by Eshan Singh, David Lin, Singh, Eshan +5 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Logic in Computer Science (cs.LO) #Radiation Effects in Electronics #VLSI and Analog Circuit Testing
- ClassInvGen: Class Invariant Synthesis using Large Language Models
2025/02/26 by Chuyue Sun, Viraj Agashe, Sun, Chuyue +13 · 4 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Logic, programming, and type systems
- Safe and Reliable Training of Learning-Based Aerospace Controllers
2024/07/09 by Udayan Mandal, Mandal, Udayan, Guy Amir +23 · 3 citations
Computer Science · Engineering · #Advanced Data Processing Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Intelligent Tutoring Systems and Adaptive Learning #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Reasoning About Vectors using an SMT Theory of Sequences
2022/05/17 by Ying Sheng, Andres Nötzli, Sheng, Ying +17 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- Partitioning Strategies for Distributed SMT Solving
2023/06/08 by Amalee Wilson, Andres Noetzli, Wilson, Amalee +9 · 1 citation
Computer Science · #Constraint Satisfaction and Optimization #Distributed #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
- Verifying SQL Queries using Theories of Tables and Relations
2024/05/05 by Mudathir Mohamed, Mohamed, Mudathir, Andrew Reynolds +5 · 2 citations
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Data Quality and Management #Semantic Web and Ontologies
- Lookahead Branching for Neural Network Verification
2026/07/19 by Liam Davis, Duo Zhou, Huan Zhang +3
#cs.LG #cs.AI #cs.LO