{"total":47,"rows":[{"id":"2207.14526","title":"Leveraging Explanations in Interactive Machine Learning: An Overview","created":"2022-07-29","cited_by_count":53,"area":null},{"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":"2210.13915","title":"Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks","created":"2022-10-25","cited_by_count":42,"area":null},{"id":"2104.06172","title":"On the Computational Intelligibility of Boolean Classifiers","created":"2021-04-13","cited_by_count":40,"area":null},{"id":"2105.06782","title":"SAT-Based Rigorous Explanations for Decision Lists","created":"2021-05-14","cited_by_count":40,"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":"2110.02376","title":"Foundations of Symbolic Languages for Model Interpretability","created":"2021-10-05","cited_by_count":26,"area":null},{"id":"2206.11900","title":"ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations","created":"2022-06-23","cited_by_count":26,"area":null},{"id":"2105.10118","title":"Probabilistic Sufficient Explanations","created":"2021-05-21","cited_by_count":24,"area":null},{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"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":"2212.05990","title":"On Computing Probabilistic Abductive Explanations","created":"2022-12-12","cited_by_count":18,"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":"2104.06060","title":"Model Learning with Personalized Interpretability Estimation (ML-PIE)","created":"2021-04-13","cited_by_count":9,"area":null},{"id":"2206.00759","title":"Interpretability Guarantees with Merlin-Arthur Classifiers","created":"2022-06-01","cited_by_count":9,"area":null},{"id":"2108.05266","title":"On the Explanatory Power of Decision Trees","created":"2021-08-11","cited_by_count":6,"area":null},{"id":"2205.06936","title":"Efficient Learning of Interpretable Classification Rules","created":"2022-05-14","cited_by_count":5,"area":null},{"id":"2207.04748","title":"On Computing Relevant Features for Explaining NBCs","created":"2022-07-11","cited_by_count":5,"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":"2111.02218","title":"From global to local MDI variable importances for random forests and when they are Shapley values","created":"2021-11-03","cited_by_count":4,"area":null},{"id":"2310.11636","title":"A Uniform Language to Explain Decision Trees","created":"2023-10-18","cited_by_count":4,"area":null},{"id":"2203.00368","title":"Explaining a Deep Reinforcement Learning Docking Agent Using Linear Model Trees with User Adapted Visualization","created":"2022-03-01","cited_by_count":3,"area":null},{"id":"2403.16190","title":"Logic-based Explanations for Linear Support Vector Classifiers with Reject Option","created":"2024-03-24","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":"2603.01870","title":"Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization","created":"2026-03-02","cited_by_count":2,"area":null},{"id":"2209.07575","title":"A Nested Genetic Algorithm for Explaining Classification Data Sets with Decision Rules","created":"2022-08-23","cited_by_count":1,"area":null},{"id":"2412.18262","title":"Efficient Contrastive Explanations on Demand","created":"2024-12-24","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.19100","title":"Extracting Robust Register Automata from Neural Networks over Data Sequences","created":"2025-11-24","cited_by_count":1,"area":null},{"id":"2205.10325","title":"Classifying Human Activities using Machine Learning and Deep Learning Techniques","created":"2022-05-19","cited_by_count":0,"area":null},{"id":"2206.11539","title":"A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration","created":"2022-06-23","cited_by_count":0,"area":null},{"id":"2406.08840","title":"Conceptual Learning via Embedding Approximations for Reinforcing Interpretability and Transparency","created":"2024-06-13","cited_by_count":0,"area":null},{"id":"2505.12421","title":"Fixed Point Explainability","created":"2025-05-18","cited_by_count":0,"area":null},{"id":"2509.15143","title":"Next-Depth Lookahead Tree","created":"2025-09-18","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":"2601.03845","title":"Formally Explaining Decision Tree Models with Answer Set Programming","created":"2026-01-07","cited_by_count":0,"area":null},{"id":"2601.09455","title":"On the Hardness of Computing Counterfactual and Semifactual Explanations in XAI","created":"2026-01-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":"2607.06407","title":"ExplAIner: A Declarative Query Language for Explaining Classification Models","created":"2026-07-07","cited_by_count":0,"area":null}],"next_cursor":null}