Pages that link to "Item:Q2181938"
From MaRDI portal
The following pages link to Assessing heuristic machine learning explanations with model counting (Q2181938):
Displaying 7 items.
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- SAT-based rigorous explanations for decision lists (Q2118305) (← links)
- \( \mathcal{G} \)-LIME: statistical learning for local interpretations of deep neural networks using global priors (Q2680795) (← links)
- On Tackling Explanation Redundancy in Decision Trees (Q5041018) (← links)
- The Computational Complexity of Understanding Binary Classifier Decisions (Q5856459) (← links)
- On computing probabilistic abductive explanations (Q6116531) (← links)
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group (Q6577680) (← links)
