{"total":98,"rows":[{"id":"2105.11266","title":"Argumentative XAI: A Survey","created":"2021-05-24","cited_by_count":67,"area":null},{"id":"2105.10278","title":"On Explaining Random Forests with SAT","created":"2021-05-21","cited_by_count":57,"area":null},{"id":"2103.11972","title":"Explaining Black-Box Algorithms Using Probabilistic Contrastive Counterfactuals","created":"2021-03-22","cited_by_count":55,"area":null},{"id":"2105.03640","title":"On Guaranteed Optimal Robust Explanations for NLP Models","created":"2021-05-08","cited_by_count":54,"area":null},{"id":"2211.00541","title":"Logic-Based Explainability in Machine Learning","created":"2022-10-24","cited_by_count":48,"area":null},{"id":"2103.14651","title":"Local Explanations via Necessity and Sufficiency: Unifying Theory and Practice","created":"2021-03-27","cited_by_count":45,"area":null},{"id":"2205.09971","title":"On Tackling Explanation Redundancy in Decision Trees","created":"2022-05-20","cited_by_count":44,"area":null},{"id":"2104.06172","title":"On the Computational Intelligibility of Boolean Classifiers","created":"2021-04-13","cited_by_count":40,"area":null},{"id":"2105.06782","title":"SAT-Based Rigorous Explanations for Decision Lists","created":"2021-05-14","cited_by_count":40,"area":null},{"id":"2106.01350","title":"On Efficiently Explaining Graph-Based Classifiers","created":"2021-06-02","cited_by_count":37,"area":null},{"id":"2104.08015","title":"On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results","created":"2021-04-16","cited_by_count":32,"area":null},{"id":"2108.05276","title":"Trading Complexity for Sparsity in Random Forest Explanations","created":"2021-08-11","cited_by_count":32,"area":null},{"id":"2111.01576","title":"Provably efficient, succinct, and precise explanations","created":"2021-11-01","cited_by_count":32,"area":null},{"id":"2302.08160","title":"The Inadequacy of Shapley Values for Explainability","created":"2023-02-16","cited_by_count":31,"area":null},{"id":"2112.09745","title":"Interpretable Data-Based Explanations for Fairness Debugging","created":"2021-12-17","cited_by_count":30,"area":null},{"id":"2201.13169","title":"Causal Explanations and XAI","created":"2022-01-31","cited_by_count":30,"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":"2110.02376","title":"Foundations of Symbolic Languages for Model Interpretability","created":"2021-10-05","cited_by_count":26,"area":null},{"id":"2105.10118","title":"Probabilistic Sufficient Explanations","created":"2021-05-21","cited_by_count":24,"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":"2206.09551","title":"Eliminating The Impossible, Whatever Remains Must Be True","created":"2022-06-20","cited_by_count":23,"area":null},{"id":"2209.07740","title":"Computing Abductive Explanations for Boosted Trees","created":"2022-09-16","cited_by_count":23,"area":null},{"id":"2305.05172","title":"Logic for Explainable AI","created":"2023-05-09","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":"2301.09559","title":"SpArX: Sparse Argumentative Explanations for Neural Networks [Technical Report]","created":"2023-01-23","cited_by_count":18,"area":null},{"id":"2108.09876","title":"On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI","created":"2021-08-23","cited_by_count":16,"area":null},{"id":"2105.14452","title":"A unified logical framework for explanations in classifier systems","created":"2021-05-30","cited_by_count":15,"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":"2106.00546","title":"Efficient Explanations With Relevant Sets","created":"2021-06-01","cited_by_count":12,"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":"2307.03380","title":"On Formal Feature Attribution and Its Approximation","created":"2023-07-07","cited_by_count":11,"area":null},{"id":"2408.03915","title":"Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation","created":"2024-08-07","cited_by_count":11,"area":null},{"id":"2107.01654","title":"Efficient Explanations for Knowledge Compilation Languages","created":"2021-07-04","cited_by_count":10,"area":null},{"id":"2309.16573","title":"Language Models as a Service: Overview of a New Paradigm and its Challenges","created":"2023-09-28","cited_by_count":10,"area":null},{"id":"2501.06078","title":"Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations","created":"2025-01-10","cited_by_count":10,"area":null},{"id":"2202.02942","title":"Tractable Boolean and Arithmetic Circuits","created":"2022-02-07","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":"2510.21599","title":"SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism","created":"2025-10-24","cited_by_count":8,"area":null},{"id":"2409.12154","title":"Abductive explanations of classifiers under constraints: Complexity and properties","created":"2024-09-18","cited_by_count":7,"area":null},{"id":"2108.05266","title":"On the Explanatory Power of Decision Trees","created":"2021-08-11","cited_by_count":6,"area":null},{"id":"2405.13474","title":"Why do explanations fail? A typology and discussion on failures in XAI","created":"2024-05-22","cited_by_count":6,"area":null},{"id":"2207.04748","title":"On Computing Relevant Features for Explaining NBCs","created":"2022-07-11","cited_by_count":5,"area":null},{"id":"2301.13328","title":"On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits","created":"2023-01-30","cited_by_count":5,"area":null},{"id":"2503.18067","title":"Self-Explaining Neural Networks for Business Process Monitoring","created":"2025-03-23","cited_by_count":5,"area":null},{"id":"2111.04658","title":"Consistent Sufficient Explanations and Minimal Local Rules for explaining regression and classification models","created":"2021-11-08","cited_by_count":4,"area":null},{"id":"2310.11636","title":"A Uniform Language to Explain Decision Trees","created":"2023-10-18","cited_by_count":4,"area":null},{"id":"2409.03060","title":"Efficiently Computing Compact Formal Explanations","created":"2024-09-04","cited_by_count":4,"area":null},{"id":"2512.00164","title":"Faster Verified Explanations for Neural Networks","created":"2025-11-28","cited_by_count":4,"area":null},{"id":"2105.06001","title":"Sufficient reasons for classifier decisions in the presence of constraints","created":"2021-05-12","cited_by_count":3,"area":null},{"id":"2210.11217","title":"Modelling and Explaining Legal Case-based Reasoners through Classifiers","created":"2022-10-20","cited_by_count":3,"area":null},{"id":"2303.06516","title":"Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation","created":"2023-03-11","cited_by_count":3,"area":null},{"id":"2404.11606","title":"Learning to Solve the Constrained Most Probable Explanation Task in Probabilistic Graphical Models","created":"2024-04-17","cited_by_count":3,"area":null},{"id":"2408.04903","title":"Axiomatic Characterisations of Sample-based Explainers","created":"2024-08-09","cited_by_count":3,"area":null},{"id":"2408.12927","title":"Abductive and Contrastive Explanations for Scoring Rules in Voting","created":"2024-08-23","cited_by_count":3,"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":"2501.06766","title":"On the Complexity of Global Necessary Reasons to Explain Classification","created":"2025-01-12","cited_by_count":3,"area":null},{"id":"2507.08454","title":"Why this and not that? A Logic-based Framework for Contrastive Explanations","created":"2025-07-11","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":"2202.07553","title":"On Deciding Feature Membership in Explanations of SDD & Related Classifiers","created":"2022-02-15","cited_by_count":2,"area":null},{"id":"2306.04541","title":"Top-Down Knowledge Compilation for Counting Modulo Theories","created":"2023-06-07","cited_by_count":2,"area":null},{"id":"2406.11873","title":"Logic-Based Explainability: Past, Present & Future","created":"2024-06-04","cited_by_count":2,"area":null},{"id":"2411.08478","title":"Learning Model Agnostic Explanations via Constraint Programming","created":"2024-11-13","cited_by_count":2,"area":null},{"id":"2507.12913","title":"Robust Explanations Through Uncertainty Decomposition: A Path to Trustworthier AI","created":"2025-07-17","cited_by_count":2,"area":null},{"id":"2509.09312","title":"Explaining Tournament Solutions with Minimal Supports","created":"2025-09-11","cited_by_count":2,"area":null},{"id":"2602.08362","title":"Circuit Representations of Random Forests with Applications to XAI","created":"2026-02-09","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":"2303.09271","title":"Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles","created":"2023-03-16","cited_by_count":1,"area":null},{"id":"2312.07103","title":"The Computational Complexity of Concise Hypersphere Classification","created":"2023-12-12","cited_by_count":1,"area":null},{"id":"2412.09770","title":"Learning Visually Grounded Domain Ontologies via Embodied Conversation and Explanation","created":"2024-12-13","cited_by_count":1,"area":null},{"id":"2505.15648","title":"Learning Small Decision Trees with Few Outliers: A Parameterized Perspective","created":"2025-05-21","cited_by_count":1,"area":null},{"id":"2509.25662","title":"On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems","created":"2025-09-30","cited_by_count":1,"area":null},{"id":"2510.09226","title":"Prime Implicant Explanations for Reaction Feasibility Prediction","created":"2025-10-10","cited_by_count":1,"area":null},{"id":"2511.03169","title":"Uncovering Bugs in Formal Explainers: A Case Study with PyXAI","created":"2025-11-05","cited_by_count":1,"area":null},{"id":"2602.04028","title":"Axiomatic Foundations of Counterfactual Explanations","created":"2026-02-03","cited_by_count":1,"area":null},{"id":"2602.17530","title":"Provably Explaining Neural Additive Models","created":"2026-02-19","cited_by_count":1,"area":null},{"id":"2604.27007","title":"Binary Spiking Neural Networks as Causal Models","created":"2026-04-29","cited_by_count":1,"area":null},{"id":"2606.00082","title":"Hoeffding Concept Bottleneck Models with Applications to Overhead Images","created":"2026-05-22","cited_by_count":1,"area":null},{"id":"2107.03018","title":"Exact Learning Augmented Naive Bayes Classifier","created":"2021-07-07","cited_by_count":0,"area":null},{"id":"2204.02255","title":"Towards Explainable Meta-Learning for DDoS Detection","created":"2022-04-05","cited_by_count":0,"area":null},{"id":"2306.15803","title":"On Logic-Based Explainability with Partially Specified Inputs","created":"2023-06-27","cited_by_count":0,"area":null},{"id":"2412.02878","title":"Modeling and Discovering Direct Causes for Predictive Models","created":"2024-12-03","cited_by_count":0,"area":null},{"id":"2509.17774","title":"Efficient & Correct Predictive Equivalence for Decision Trees","created":"2025-09-22","cited_by_count":0,"area":null},{"id":"2510.18615","title":"A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees","created":"2025-10-21","cited_by_count":0,"area":null},{"id":"2510.18628","title":"Leveraging Association Rules for Better Predictions and Better Explanations","created":"2025-10-21","cited_by_count":0,"area":null},{"id":"2602.13985","title":"Bridging AI and Clinical Reasoning: Abductive Explanations for Alignment on Critical Symptoms","created":"2026-02-15","cited_by_count":0,"area":null},{"id":"2603.14007","title":"Formal Abductive Explanations for Navigating Mental Health Help-Seeking and Diversity in Tech Workplaces","created":"2026-03-14","cited_by_count":0,"area":null},{"id":"2603.14096","title":"Concisely Explaining the Doubt: Minimum-Size Abductive Explanations for Linear Models with a Reject Option","created":"2026-03-14","cited_by_count":0,"area":null},{"id":"2603.14594","title":"Scaling the Explanation of Multi-Class Bayesian Network Classifiers","created":"2026-03-15","cited_by_count":0,"area":null},{"id":"2603.29361","title":"Rigorous Explanations for Tree Ensembles","created":"2026-03-31","cited_by_count":0,"area":null},{"id":"2604.13695","title":"Med-CAM: Minimal Evidence for Explaining Medical Decision Making","created":"2026-04-15","cited_by_count":0,"area":null},{"id":"2604.14209","title":"Towards Verified and Targeted Explanations through Formal Methods","created":"2026-04-05","cited_by_count":0,"area":null},{"id":"2605.24084","title":"Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks","created":"2026-05-22","cited_by_count":0,"area":null},{"id":"2607.06407","title":"ExplAIner: A Declarative Query Language for Explaining Classification Models","created":"2026-07-07","cited_by_count":0,"area":null},{"id":"2608.16773","title":"Beyond $L_2$: Generalizing Abductive Latent Explanations to Diverse Prototype-Based Architectures","created":"2026-08-17","cited_by_count":0,"area":null},{"id":"2609.19077","title":"Probabilistic Linear Explanations","created":"2026-09-16","cited_by_count":0,"area":null},{"id":"2610.03526","title":"Beyond Trained Models: Compiling GNNs for a Sound Explainer Benchmark","created":"2026-10-02","cited_by_count":0,"area":null}],"next_cursor":null}