TY  - RPRT
TI  - Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
AU  - Shahaf Bassan
AU  - Yizhak Yisrael Elboher
AU  - Tobias Ladner
AU  - Matthias Althoff
AU  - Guy Katz
PY  - 2025
UR  - https://arxiv.org/abs/2506.08505
ID  - 2506.08505
ER  -