P
PaperPicks
Conferences
Researchers
Sponsors ♥
Guy Amir
4 papers at tracked venues · 3 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
ICML
×2
AAAI
×1
ECAI
×1
Frequent coauthors
Guy Katz
×4
Shahaf Bassan
×3
Andoni Rodríguez
×1
Davide Corsi
×1
César Sánchez
×1
Meirav Zehavi
×1
Papers
Shield Synthesis for LTL Modulo Theories
BibTeX ⧉
AAAI 2025
·
Andoni Rodríguez
,
Guy Amir
,
Davide Corsi
,
César Sánchez
,
Guy Katz
What makes an Ensemble (Un) Interpretable?
BibTeX ⧉
ICML 2025
·
Shahaf Bassan
,
Guy Amir
,
Meirav Zehavi
,
Guy Katz
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
BibTeX ⧉
ECAI 2024
·
Guy Amir
,
Shahaf Bassan
,
Guy Katz
Local vs. Global Interpretability: A Computational Complexity Perspective
BibTeX ⧉
ICML 2024
·
Shahaf Bassan
,
Guy Amir
,
Guy Katz