Skip to content
conftrace_
2025 ICML ICML 2025

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

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

Authors

Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz

Topics

Artificial Intelligence > Core AI > Interpretability Machine Learning > Application Areas > Efficient Computing Deep Learning > Architectures > Neural Networks

Keywords

abstraction neural network verification sufficient explanation scalability challenges refinement provably sufficient explanations
Download PDF