Amir, Guy

3 publications

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