{"total":21,"rows":[{"id":"2211.00541","title":"Logic-Based Explainability in Machine Learning","created":"2022-10-24","cited_by_count":48,"area":null},{"id":"2212.05990","title":"On Computing Probabilistic Abductive Explanations","created":"2022-12-12","cited_by_count":18,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"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":"2505.10991","title":"Most General Explanations of Tree Ensembles (Extended Version)","created":"2025-05-16","cited_by_count":7,"area":null},{"id":"2207.04748","title":"On Computing Relevant Features for Explaining NBCs","created":"2022-07-11","cited_by_count":5,"area":null},{"id":"2406.11873","title":"Logic-Based Explainability: Past, Present & Future","created":"2024-06-04","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":"2312.10911","title":"The Pros and Cons of Adversarial Robustness","created":"2023-12-18","cited_by_count":1,"area":null},{"id":"2410.24178","title":"AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties","created":"2024-10-31","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":"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":"2509.17774","title":"Efficient & Correct Predictive Equivalence for Decision Trees","created":"2025-09-22","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":"2605.00592","title":"Fairness of Classifiers in the Presence of Constraints between Features","created":"2026-05-01","cited_by_count":0,"area":null},{"id":"2607.21183","title":"Representative Sets in Propositional Abduction","created":"2026-07-23","cited_by_count":0,"area":null}],"next_cursor":null}