{"total":22,"rows":[{"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":"2506.08505","title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations","created":"2025-06-10","cited_by_count":13,"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":"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":"2409.12154","title":"Abductive explanations of classifiers under constraints: Complexity and properties","created":"2024-09-18","cited_by_count":7,"area":null},{"id":"2408.04903","title":"Axiomatic Characterisations of Sample-based Explainers","created":"2024-08-09","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":"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":"2303.09271","title":"Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles","created":"2023-03-16","cited_by_count":1,"area":null},{"id":"2505.09640","title":"Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms","created":"2025-05-06","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":"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":"2505.20269","title":"Comparing Neural Network Encodings for Logic-based Explainability","created":"2025-05-26","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":"2601.03845","title":"Formally Explaining Decision Tree Models with Answer Set Programming","created":"2026-01-07","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.29361","title":"Rigorous Explanations for Tree Ensembles","created":"2026-03-31","cited_by_count":0,"area":null},{"id":"2606.10347","title":"Beyond Explaining Predictions: Logic-Based Explanations for Confidence in Machine Learning Models","created":"2026-06-09","cited_by_count":0,"area":null}],"next_cursor":null}