{"total":22,"rows":[{"id":"2211.00541","title":"Logic-Based Explainability in Machine Learning","created":"2022-10-24","cited_by_count":48,"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":"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":"2510.21599","title":"SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism","created":"2025-10-24","cited_by_count":8,"area":null},{"id":"2407.10820","title":"Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic","created":"2024-07-15","cited_by_count":6,"area":null},{"id":"2509.18215","title":"Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations","created":"2025-09-21","cited_by_count":4,"area":null},{"id":"2407.15780","title":"Explaining Decisions in ML Models: a Parameterized Complexity Analysis","created":"2024-07-22","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":"2603.10661","title":"FAME: Formal Abstract Minimal Explanation for Neural Networks","created":"2026-03-11","cited_by_count":3,"area":null},{"id":"2601.13404","title":"Local-to-Global Logical Explanations for Deep Vision Models","created":"2026-01-19","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":"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":"2509.17774","title":"Efficient & Correct Predictive Equivalence for Decision Trees","created":"2025-09-22","cited_by_count":0,"area":null},{"id":"2511.03545","title":"Explaining Decisions in ML Models: a Parameterized Complexity Analysis (Part I)","created":"2025-11-05","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":"2605.09347","title":"Dsat: A Native SAT Solver for Discrete Logic","created":"2026-05-10","cited_by_count":0,"area":null},{"id":"2606.19735","title":"GLARE: A Natural Language Interface for Querying Global Explanations","created":"2026-06-18","cited_by_count":0,"area":null}],"next_cursor":null}