{"total":75,"rows":[{"id":"2202.00734","title":"Framework for Evaluating Faithfulness of Local Explanations","created":"2022-02-01","cited_by_count":55,"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":"2409.06857","title":"What is the Role of Small Models in the LLM Era: A Survey","created":"2024-09-10","cited_by_count":41,"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":"2406.13597","title":"GraphKAN: Enhancing Feature Extraction with Graph Kolmogorov Arnold Networks","created":"2024-06-19","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":"2110.02376","title":"Foundations of Symbolic Languages for Model Interpretability","created":"2021-10-05","cited_by_count":26,"area":null},{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"area":null},{"id":"2203.10451","title":"On the Computation of Necessary and Sufficient Explanations","created":"2022-03-20","cited_by_count":23,"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.14956","title":"Interpretable and Editable Programmatic Tree Policies for Reinforcement Learning","created":"2024-05-23","cited_by_count":18,"area":"deeprl"},{"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":"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":"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":"2602.16823","title":"Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees","created":"2026-02-18","cited_by_count":11,"area":"mechinterp"},{"id":"2107.01654","title":"Efficient Explanations for Knowledge Compilation Languages","created":"2021-07-04","cited_by_count":10,"area":null},{"id":"2501.06078","title":"Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations","created":"2025-01-10","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":"2205.09901","title":"Cardinality-Minimal Explanations for Monotonic Neural Networks","created":"2022-05-19","cited_by_count":8,"area":null},{"id":"2305.15734","title":"On the Impact of Knowledge Distillation for Model Interpretability","created":"2023-05-25","cited_by_count":8,"area":"distill"},{"id":"2510.21599","title":"SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism","created":"2025-10-24","cited_by_count":8,"area":null},{"id":"2108.05266","title":"On the Explanatory Power of Decision Trees","created":"2021-08-11","cited_by_count":6,"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":"2509.22849","title":"Parameterized Hardness of Zonotope Containment and Neural Network Verification","created":"2025-09-26","cited_by_count":5,"area":null},{"id":"2304.09779","title":"Equalised Odds is not Equal Individual Odds: Post-processing for Group and Individual Fairness","created":"2023-04-19","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":"2401.10938","title":"Even-if Explanations: Formal Foundations, Priorities and Complexity","created":"2024-01-17","cited_by_count":4,"area":null},{"id":"2502.16697","title":"Interpretable Retinal Disease Prediction Using Biology-Informed Heterogeneous Graph Representations","created":"2025-02-23","cited_by_count":4,"area":null},{"id":"2304.02781","title":"Inapproximability of sufficient reasons for decision trees","created":"2023-04-05","cited_by_count":3,"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":"2501.06766","title":"On the Complexity of Global Necessary Reasons to Explain Classification","created":"2025-01-12","cited_by_count":3,"area":null},{"id":"2501.18887","title":"Towards Unified Attribution in Explainable AI, Data-Centric AI, and Mechanistic Interpretability","created":"2025-01-31","cited_by_count":3,"area":"mechinterp"},{"id":"2503.08322","title":"Evaluating Interpretable Reinforcement Learning by Distilling Policies into Programs","created":"2025-03-11","cited_by_count":3,"area":"deeprl"},{"id":"2507.08454","title":"Why this and not that? A Logic-based Framework for Contrastive Explanations","created":"2025-07-11","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":"2106.11456","title":"Querying in the Age of Graph Databases and Knowledge Graphs","created":"2021-06-22","cited_by_count":2,"area":null},{"id":"2202.04943","title":"Interpretable pipelines with evolutionarily optimized modules for RL tasks with visual inputs","created":"2022-02-10","cited_by_count":2,"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":"2211.01022","title":"Verifying And Interpreting Neural Networks using Finite Automata","created":"2022-11-02","cited_by_count":2,"area":null},{"id":"2405.04081","title":"Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation","created":"2024-05-07","cited_by_count":2,"area":null},{"id":"2406.07811","title":"Evolutionary Computation and Explainable AI: A Roadmap to Understandable Intelligent Systems","created":"2024-06-12","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":"2309.13365","title":"Limits of Actor-Critic Algorithms for Decision Tree Policies Learning in IBMDPs","created":"2023-09-23","cited_by_count":1,"area":null},{"id":"2312.07103","title":"The Computational Complexity of Concise Hypersphere Classification","created":"2023-12-12","cited_by_count":1,"area":null},{"id":"2401.12731","title":"The Distributional Uncertainty of the SHAP score in Explainable Machine Learning","created":"2024-01-23","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":"2511.19100","title":"Extracting Robust Register Automata from Neural Networks over Data Sequences","created":"2025-11-24","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":"2207.04969","title":"From Correlation to Causation: Formalizing Interpretable Machine Learning as a Statistical Process","created":"2022-07-11","cited_by_count":0,"area":null},{"id":"2304.05839","title":"Optimal Interpretability-Performance Trade-off of Classification Trees with Black-Box Reinforcement Learning","created":"2023-04-11","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":"2401.15480","title":"Social Interpretable Reinforcement Learning","created":"2024-01-27","cited_by_count":0,"area":"deeprl"},{"id":"2409.00216","title":"Structuring Quantitative Image Analysis with Object Prominence","created":"2024-08-30","cited_by_count":0,"area":null},{"id":"2505.21212","title":"Interpretable DNFs","created":"2025-05-27","cited_by_count":0,"area":null},{"id":"2508.11959","title":"Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index","created":"2025-08-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":"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":"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":"2602.16473","title":"Synthesis and Verification of Transformer Programs (Technical Report)","created":"2026-02-18","cited_by_count":0,"area":null},{"id":"2602.16914","title":"A statistical perspective on transformers for small longitudinal cohort data","created":"2026-02-18","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.28597","title":"Position: Explainable AI is Causality in Disguise","created":"2026-03-30","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.00592","title":"Fairness of Classifiers in the Presence of Constraints between Features","created":"2026-05-01","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},{"id":"2609.19077","title":"Probabilistic Linear Explanations","created":"2026-09-16","cited_by_count":0,"area":null}],"next_cursor":null}