{"total":57,"rows":[{"id":"2201.08164","title":"From Anecdotal Evidence to Quantitative Evaluation Methods: A Systematic Review on Evaluating Explainable AI","created":"2022-01-20","cited_by_count":302,"area":null},{"id":"2105.10278","title":"On Explaining Random Forests with SAT","created":"2021-05-21","cited_by_count":57,"area":null},{"id":"2211.00541","title":"Logic-Based Explainability in Machine Learning","created":"2022-10-24","cited_by_count":48,"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.00154","title":"Explanations for Monotonic Classifiers","created":"2021-06-01","cited_by_count":39,"area":null},{"id":"2106.01350","title":"On Efficiently Explaining Graph-Based Classifiers","created":"2021-06-02","cited_by_count":37,"area":null},{"id":"2207.12213","title":"On Computing Probabilistic Explanations for Decision Trees","created":"2022-06-30","cited_by_count":35,"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":"2302.08160","title":"The Inadequacy of Shapley Values for Explainability","created":"2023-02-16","cited_by_count":31,"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":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"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":"2210.15675","title":"Feature Necessity & Relevancy in ML Classifier Explanations","created":"2022-10-27","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":"2506.08505","title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations","created":"2025-06-10","cited_by_count":13,"area":null},{"id":"2306.01744","title":"Disproving XAI Myths with Formal Methods -- Initial Results","created":"2023-05-13","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":"2502.02719","title":"Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective","created":"2025-02-04","cited_by_count":11,"area":null},{"id":"2602.16823","title":"Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees","created":"2026-02-18","cited_by_count":11,"area":"mechinterp"},{"id":"2310.03131","title":"Axiomatic Aggregations of Abductive Explanations","created":"2023-09-29","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":"2312.06973","title":"Anytime Approximate Formal Feature Attribution","created":"2023-12-12","cited_by_count":9,"area":null},{"id":"2207.04748","title":"On Computing Relevant Features for Explaining NBCs","created":"2022-07-11","cited_by_count":5,"area":null},{"id":"2403.16190","title":"Logic-based Explanations for Linear Support Vector Classifiers with Reject Option","created":"2024-03-24","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":"2510.21292","title":"Additive Models Explained: A Computational Complexity Approach","created":"2025-10-24","cited_by_count":3,"area":null},{"id":"2603.10661","title":"FAME: Formal Abstract Minimal Explanation for Neural Networks","created":"2026-03-11","cited_by_count":3,"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":"2602.18160","title":"Unifying Formal Explanations: A Complexity-Theoretic Perspective","created":"2026-02-20","cited_by_count":2,"area":null},{"id":"2603.01870","title":"Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization","created":"2026-03-02","cited_by_count":2,"area":null},{"id":"2109.03890","title":"Model Explanations via the Axiomatic Causal Lens","created":"2021-09-08","cited_by_count":1,"area":null},{"id":"2407.16010","title":"AIDE: Antithetical, Intent-based, and Diverse Example-Based Explanations","created":"2024-07-22","cited_by_count":1,"area":null},{"id":"2412.18262","title":"Efficient Contrastive Explanations on Demand","created":"2024-12-24","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.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":"2206.11539","title":"A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration","created":"2022-06-23","cited_by_count":0,"area":null},{"id":"2505.12421","title":"Fixed Point Explainability","created":"2025-05-18","cited_by_count":0,"area":null},{"id":"2505.21212","title":"Interpretable DNFs","created":"2025-05-27","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":"2601.09455","title":"On the Hardness of Computing Counterfactual and Semifactual Explanations in XAI","created":"2026-01-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.15898","title":"Towards Rigorous Explainability by Feature Attribution","created":"2026-04-17","cited_by_count":0,"area":null},{"id":"2606.07180","title":"OPTIMUS-Prime: Minimal and Sufficient Concept Explanations for Deep Vision Models","created":"2026-06-05","cited_by_count":0,"area":null},{"id":"2608.17103","title":"From Abductive Explanations to Global Logical Rules for Node Classification in SGCs","created":"2026-08-17","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}