Guy Amir
- Agent Security is a Systems Problem
2026/05/18 by Mihai Christodorescu, Earlence Fernandes, Ashish Hooda +11 · 3 voices
#cs.CR #cs.AI
- Neural Network Robustness as a Verification Property: A Principled Case Study
2021/04/03 by Marco Casadio, Ekaterina Komendantskaya, Casadio, Marco +11 · 4 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Fault Detection and Control Systems
- Verifying Learning-Based Robotic Navigation Systems
2022/05/26 by Guy Amir, Davide Corsi, Amir, Guy +11 · 5 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)
- Local vs. Global Interpretability: A Computational Complexity Perspective
2024/06/05 by Shahaf Bassan, Bassan, Shahaf, Guy Amir +3 · 6 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
- Formally Explaining Neural Networks within Reactive Systems
2023/07/31 by Shahaf Bassan, Guy Amir, Bassan, Shahaf +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)
- 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
- 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
- veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
2022/12/06 by Guy Amir, Amir, Guy, Ziv Freund +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)