Katz, Guy

12 publications

ICLR 2026 FAME: Formal Abstract Minimal Explanation for Neural Networks Ryma Boumazouza, Raya Elsaleh, Melanie Ducoffe, Shahaf Bassan, Guy Katz

ICLR 2026 Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees Itamar Hadad, Guy Katz, Shahaf Bassan

ICLR 2026 Provably Explaining Neural Additive Models Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Şahin, Jan Kretinsky, Matthias Althoff, Guy Katz

ICLR 2026 Unifying Formal Explanations: A Complexity-Theoretic Perspective Shahaf Bassan, Xuanxiang Huang, Guy Katz

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