Guy Katz

10 papers at tracked venues · 8 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ICML ×3 NeurIPS ×2 AAAI ×1 AISTATS ×1 ASE ×1 ECAI ×1 FSE ×1

Frequent coauthors

Shahaf Bassan

×7

Guy Amir

×4

Reda Marzouk

×2

Michal Moshkovitz

×1

Yizhak Yisrael Elboher

×1

Tobias Ladner

×1

Matthias Althoff

×1

Colin de la Higuera

×1

Andoni Rodríguez

×1

Davide Corsi

×1

César Sánchez

×1

Meirav Zehavi

×1

Papers

Additive Models Explained: A Computational Complexity Approach
NeurIPS 2025 ·
Shahaf Bassan
,
Michal Moshkovitz
, Guy Katz
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
ICML 2025 ·
Shahaf Bassan
,
Yizhak Yisrael Elboher
,
Tobias Ladner
,
Matthias Althoff
, Guy Katz
On the Computational Tractability of the (Many) Shapley Values
AISTATS 2025 ·
Reda Marzouk
,
Shahaf Bassan
, Guy Katz,
Colin de la Higuera
SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
NeurIPS 2025 ·
Reda Marzouk
,
Shahaf Bassan
, Guy Katz
Shield Synthesis for LTL Modulo Theories
AAAI 2025 ·
Andoni Rodríguez
,
Guy Amir
,
Davide Corsi
,
César Sánchez
, Guy Katz
What makes an Ensemble (Un) Interpretable?
ICML 2025 ·
Shahaf Bassan
,
Guy Amir
,
Meirav Zehavi
, Guy Katz
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
ECAI 2024 ·
Guy Amir
,
Shahaf Bassan
, Guy Katz
Learning DNN Abstractions using Gradient Descent
ASE 2024 ·
Diganta Mukhopadhyay
,
Sanaa Siddiqui
,
Hrishikesh Karmarkar
,
Kumar Madhukar
, Guy Katz
Local vs. Global Interpretability: A Computational Complexity Perspective
ICML 2024 ·
Shahaf Bassan
,
Guy Amir
, Guy Katz
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software
FSE 2024 ·
Ophir M. Carmel
, Guy Katz