conftrace_

provably sufficient explanations

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

refinement (1) scalability challenges (1) sufficient explanation (1) neural network verification (1) abstraction (1)

Papers

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