Guy Katz

1. 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
2. Provably Minimally-Distorted Adversarial Examples
   2017/09/29 by Nicholas Carlini, Carlini, Nicholas, Guy Katz +5 · 15 citations
   Computer Science · #Adversarial Robustness in Machine Learning
3. 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)
4. Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
   2022/10/25 by Shahaf Bassan, Guy Katz, Bassan, Shahaf +1 · 7 citations
   Computer Science · #Explainable Artificial Intelligence (XAI) #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications
5. Verifying Learning-Based Robotic Navigation Systems
   2022/05/26 by Guy Amir, Davide Corsi, Amir, Guy +11 · 4 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Data Classification #Optimization and Control (math.OC) #Robotics (cs.RO)
6. Neural Network Robustness as a Verification Property: A Principled Case Study
   2021/04/03 by Marco Casadio, Ekaterina Komendantskaya, Casadio, Marco +11 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Fault Detection and Control Systems
7. 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
8. Local vs. Global Interpretability: A Computational Complexity Perspective
   2024/06/05 by Shahaf Bassan, Bassan, Shahaf, Guy Amir +3 · 5 citations
   Computer Science · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques
9. Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
   2024/01/08 by Yizhak Elboher, Raya Elsaleh, Elboher, Yizhak +15 · 4 citations
   Engineering · #Aerospace and Aviation Technology #Autonomous Vehicle Technology and Safety #Air Traffic Management and Optimization
10. Efficient Neural Network Analysis with Sum-of-Infeasibilities
    2022/03/19 by Haoze Wu, Wu, Haoze, Aleksandar Zeljić +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)
11. Formally Explaining Neural Networks within Reactive Systems
    2023/07/31 by Shahaf Bassan, Bassan, Shahaf, Guy Amir +7 · 5 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
12. Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
    2024/08/07 by Guy Amir, Shahaf Bassan, Amir, Guy +3 · 4 citations
    Computer Science · #Machine Learning in Healthcare #Data Analysis with R #Time Series Analysis and Forecasting
13. 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
14. On Augmenting Scenario-Based Modeling with Generative AI
    2024/01/04 by David Harel, Harel, David, Guy Katz +5 · 2 citations
    Business, Management and Accounting · Computer Science · Decision Sciences · #68N19 #Business Process Modeling and Analysis #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Simulation Techniques and Applications #Software Engineering (cs.SE)
15. Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
    2025/06/10 by Shahaf Bassan, Bassan, Shahaf, Yizhak Yisrael Elboher +7 · 5 citations
    Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science
16. veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
    2022/12/06 by Guy Amir, Ziv Freund, Amir, Guy +7 · 1 citation
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #FOS: Mathematics #Fire Detection and Safety Systems #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Software Engineering (cs.SE)
17. Enhancing Deep Learning with Scenario-Based Override Rules: a Case Study
    2023/01/19 by Adiel Ashrov, Ashrov, Adiel, Guy Katz +1 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability
18. SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
    2025/10/24 by Reda Marzouk, Marzouk, Reda, Shahaf Bassan +3 · 3 citations
    Computer Science · Decision Sciences · #Advanced Graph Neural Networks #Computational Complexity (cs.CC) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Physical sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Quantum Physics (quant-ph) #Scientific Computing and Data Management
19. DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace
    2024/01/04 by Guy Katz, Katz, Guy, Natan Levy +5 · 1 citation
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Software Reliability and Analysis Research #Safety Systems Engineering in Autonomy
20. Neural Network Verification using Residual Reasoning
    2022/08/05 by Yizhak Yisrael Elboher, Elboher, Yizhak Yisrael, Elazar Cohen +3 · 1 citation
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Fault Detection and Control Systems
21. Lookahead Branching for Neural Network Verification
    2026/07/19 by Liam Davis, Duo Zhou, Huan Zhang +3
    #cs.LG #cs.AI #cs.LO