Katz, Guy

8 publications

NeurIPS 2025 Additive Models Explained: A Computational Complexity Approach Shahaf Bassan, Michal Moshkovitz, Guy Katz

ICML 2025 Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz

AISTATS 2025 On the Computational Tractability of the (Many) Shapley Values Reda Marzouk, Shahaf Bassan, Guy Katz, De Higuera

NeurIPS 2025 SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism Reda Marzouk, Shahaf Bassan, Guy Katz

AAAI 2025 Shield Synthesis for LTL Modulo Theories Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

ICML 2025 What Makes an Ensemble (Un) Interpretable? Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz

ICML 2024 Local vs. Global Interpretability: A Computational Complexity Perspective Shahaf Bassan, Guy Amir, Guy Katz

MLJ 2023 Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer