2 citations · 5 across the 16 of their papers we have counts for
4 papers · 2 filters
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
Guy Amir, Shahaf Bassan, Guy Katz
The ability to interpret Machine Learning (ML) models is becoming increasingly essential. However, despite significant progress in the field, there remains a lack of rigorous chara…
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Guy Amir, Osher Maayan, Tom Zelazny +2
Deep neural networks (DNNs) play a crucial role in the field of machine learning, demonstrating state-of-the-art performance across various application domains. However, despite th…
Verification-Guided Shielding for Deep Reinforcement Learning
Davide Corsi, Guy Amir, Andoni Rodriguez +3
In recent years, Deep Reinforcement Learning (DRL) has emerged as an effective approach to solving real-world tasks. However, despite their successes, DRL-based policies suffer fro…
Local vs. Global Interpretability: A Computational Complexity Perspective
Shahaf Bassan, Guy Amir, Guy Katz
The local and global interpretability of various ML models has been studied extensively in recent years. However, despite significant progress in the field, many known results rema…