PPaperPicks

Guy Katz

8 papers at tracked venues · 6 at CORE A* · active 20242025

Venues

Frequent coauthors

Papers

  1. Additive Models Explained: A Computational Complexity Approach
  2. Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
  3. On the Computational Tractability of the (Many) Shapley Values
  4. SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
  5. Shield Synthesis for LTL Modulo Theories
  6. What makes an Ensemble (Un) Interpretable?
  7. Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
  8. Local vs. Global Interpretability: A Computational Complexity Perspective