{"total":39,"rows":[{"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":"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":"2209.07740","title":"Computing Abductive Explanations for Boosted Trees","created":"2022-09-16","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":"2405.08297","title":"Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation","created":"2024-05-14","cited_by_count":21,"area":null},{"id":"2212.05990","title":"On Computing Probabilistic Abductive Explanations","created":"2022-12-12","cited_by_count":18,"area":null},{"id":"2306.15272","title":"Delivering Inflated Explanations","created":"2023-06-27","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":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2106.00546","title":"Efficient Explanations With Relevant Sets","created":"2021-06-01","cited_by_count":12,"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":"2107.01654","title":"Efficient Explanations for Knowledge Compilation Languages","created":"2021-07-04","cited_by_count":10,"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":"2210.11217","title":"Modelling and Explaining Legal Case-based Reasoners through Classifiers","created":"2022-10-20","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":"2307.06971","title":"Short Boolean Formulas as Explanations in Practice","created":"2023-07-13","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":"2602.18160","title":"Unifying Formal Explanations: A Complexity-Theoretic Perspective","created":"2026-02-20","cited_by_count":2,"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":"2206.08758","title":"Rectifying Mono-Label Boolean Classifiers","created":"2022-06-17","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":"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":"2510.15986","title":"User Profiles of Sleep Disorder Sufferers: Towards Explainable Clustering and Differential Variable Analysis","created":"2025-10-13","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":"2605.00592","title":"Fairness of Classifiers in the Presence of Constraints between Features","created":"2026-05-01","cited_by_count":0,"area":null},{"id":"2605.09347","title":"Dsat: A Native SAT Solver for Discrete Logic","created":"2026-05-10","cited_by_count":0,"area":null},{"id":"2609.04931","title":"Solving Hard XAI Queries Based on a Compiled Dual-Rail Encoding","created":"2026-09-04","cited_by_count":0,"area":null}],"next_cursor":null}