{"total":31,"rows":[{"id":"2211.00541","title":"Logic-Based Explainability in Machine Learning","created":"2022-10-24","cited_by_count":48,"area":null},{"id":"2209.07740","title":"Computing Abductive Explanations for Boosted Trees","created":"2022-09-16","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":"2405.08297","title":"Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation","created":"2024-05-14","cited_by_count":21,"area":null},{"id":"2301.09559","title":"SpArX: Sparse Argumentative Explanations for Neural Networks [Technical Report]","created":"2023-01-23","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":"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":"2510.21599","title":"SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism","created":"2025-10-24","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":"2503.18067","title":"Self-Explaining Neural Networks for Business Process Monitoring","created":"2025-03-23","cited_by_count":5,"area":null},{"id":"2408.04903","title":"Axiomatic Characterisations of Sample-based Explainers","created":"2024-08-09","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":"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":"2407.18782","title":"Understanding XAI Through the Philosopher's Lens: A Historical Perspective","created":"2024-07-26","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":"2507.12913","title":"Robust Explanations Through Uncertainty Decomposition: A Path to Trustworthier AI","created":"2025-07-17","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":"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":"2312.11540","title":"On the Trade-off between the Number of Nodes and the Number of Trees in a Random Forest","created":"2023-12-16","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":"2510.18628","title":"Leveraging Association Rules for Better Predictions and Better Explanations","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":"2601.04378","title":"Aligned explanations in neural networks","created":"2026-01-07","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":"2605.24084","title":"Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks","created":"2026-05-22","cited_by_count":0,"area":null},{"id":"2609.19077","title":"Probabilistic Linear Explanations","created":"2026-09-16","cited_by_count":0,"area":null}],"next_cursor":null}