Guy Katz

5 papers · 2024–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (11) ❓ The Questioner

Venues

ICML (3) AAAI (1) AISTATS (1)

Top co-authors

Shahaf Bassan (4) Guy Amir (3) Tobias Ladner (1) Andoni Rodríguez (1) Yizhak Yisrael Elboher (1) Reda Marzouk (1) Matthias Althoff (1) Meirav Zehavi (1) Davide Corsi (1) De la Higuera (1)

Research topics

Artificial Intelligence (5) Core AI (5) Deep Learning (2) Machine Learning (2) Application Areas (2) Computer Science (1) Knowledge & Reasoning (1) Mathematics & Optimization (1) Architectures (1) Foundations (1) Mathematics (1) Optimization & Theory (1) Reasoning (1)

Keywords

computational complexity (3) decision tree (2) linear model (2) discrete mathematics (1) tree ensemble (1) hidden markov model (1) neural network verification (1) temporal logic (1) model explanation (1) local interpretability (1) sufficient explanation (1) linear temporal logic (1) reactive synthesis (1) safety-critical system (1) shapley additive explanation (1) global interpretability (1) neural network (1) shield synthesis (1) safety specification (1) ensemble (1)

Papers

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations ICML 2025 On the Computational Tractability of the (Many) Shapley Values AISTATS 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 What makes an Ensemble (Un) Interpretable? ICML 2025 Local vs. Global Interpretability: A Computational Complexity Perspective ICML 2024