{"total":24,"rows":[{"id":"2205.09971","title":"On Tackling Explanation Redundancy in Decision Trees","created":"2022-05-20","cited_by_count":44,"area":null},{"id":"2207.12213","title":"On Computing Probabilistic Explanations for Decision Trees","created":"2022-06-30","cited_by_count":35,"area":null},{"id":"2212.01051","title":"VeriX: Towards Verified Explainability of Deep Neural Networks","created":"2022-12-02","cited_by_count":30,"area":null},{"id":"2203.10451","title":"On the Computation of Necessary and Sufficient Explanations","created":"2022-03-20","cited_by_count":23,"area":null},{"id":"2406.02981","title":"Local vs. Global Interpretability: A Computational Complexity Perspective","created":"2024-06-05","cited_by_count":23,"area":null},{"id":"2212.05990","title":"On Computing Probabilistic Abductive Explanations","created":"2022-12-12","cited_by_count":18,"area":null},{"id":"2506.08505","title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations","created":"2025-06-10","cited_by_count":13,"area":null},{"id":"2502.03391","title":"Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons","created":"2025-02-05","cited_by_count":12,"area":null},{"id":"2502.02719","title":"Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective","created":"2025-02-04","cited_by_count":11,"area":null},{"id":"2504.13787","title":"Probabilistic Stability Guarantees for Feature Attributions","created":"2025-04-18","cited_by_count":9,"area":null},{"id":"2506.12383","title":"Scaling Probabilistic Circuits via Monarch Matrices","created":"2025-06-14","cited_by_count":9,"area":null},{"id":"2205.09569","title":"Provably Precise, Succinct and Efficient Explanations for Decision Trees","created":"2022-05-19","cited_by_count":8,"area":null},{"id":"2304.14760","title":"A New Class of Explanations for Classifiers with Non-Binary Features","created":"2023-04-28","cited_by_count":8,"area":null},{"id":"2207.04748","title":"On Computing Relevant Features for Explaining NBCs","created":"2022-07-11","cited_by_count":5,"area":null},{"id":"2401.10938","title":"Even-if Explanations: Formal Foundations, Priorities and Complexity","created":"2024-01-17","cited_by_count":4,"area":null},{"id":"2409.20427","title":"Sufficient and Necessary Explanations (and What Lies in Between)","created":"2024-09-30","cited_by_count":3,"area":null},{"id":"2510.21292","title":"Additive Models Explained: A Computational Complexity Approach","created":"2025-10-24","cited_by_count":3,"area":null},{"id":"2508.10595","title":"On Spectral Properties of Gradient-based Explanation Methods","created":"2025-08-14","cited_by_count":2,"area":null},{"id":"2602.18160","title":"Unifying Formal Explanations: A Complexity-Theoretic Perspective","created":"2026-02-20","cited_by_count":2,"area":null},{"id":"2212.03131","title":"Explainability as statistical inference","created":"2022-12-06","cited_by_count":1,"area":null},{"id":"2408.02117","title":"Value-Based Rationales Improve Social Experience: A Multiagent Simulation Study","created":"2024-08-04","cited_by_count":1,"area":null},{"id":"2603.01923","title":"Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks","created":"2026-03-02","cited_by_count":1,"area":null},{"id":"2311.13379","title":"Pruning-Based Extraction of Descriptions from Probabilistic Circuits","created":"2023-11-22","cited_by_count":0,"area":null},{"id":"2602.22115","title":"Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing","created":"2026-02-25","cited_by_count":0,"area":null}],"next_cursor":null}