Guy Katz

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

Achievements

🌍 Conference Polyglot (3) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13) ❓ The Questioner

Conferences

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)

Keywords

formal verification (1) discrete mathematics (1) temporal logic (1) linear temporal logic (1) reactive synthesis (1) safety-critical system (1) shield synthesis (1) safety specification (1)

Papers

Shield Synthesis for LTL Modulo Theories AAAI 2025

On the Computational Tractability of the (Many) Shapley Values AISTATS 2025

What makes an Ensemble (Un) Interpretable? ICML 2025

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations ICML 2025

Local vs. Global Interpretability: A Computational Complexity Perspective ICML 2024