{"total":160,"rows":[{"id":"2201.08164","title":"From Anecdotal Evidence to Quantitative Evaluation Methods: A Systematic Review on Evaluating Explainable AI","created":"2022-01-20","cited_by_count":302,"area":null},{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81,"area":null},{"id":"2105.10278","title":"On Explaining Random Forests with SAT","created":"2021-05-21","cited_by_count":57,"area":null},{"id":"2105.03640","title":"On Guaranteed Optimal Robust Explanations for NLP Models","created":"2021-05-08","cited_by_count":54,"area":null},{"id":"2211.00541","title":"Logic-Based Explainability in Machine Learning","created":"2022-10-24","cited_by_count":48,"area":null},{"id":"2306.06123","title":"Adversarial attacks and defenses in explainable artificial intelligence: A survey","created":"2023-06-06","cited_by_count":48,"area":null},{"id":"2103.14651","title":"Local Explanations via Necessity and Sufficiency: Unifying Theory and Practice","created":"2021-03-27","cited_by_count":45,"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":"2202.07728","title":"Don't Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis","created":"2022-02-15","cited_by_count":38,"area":null},{"id":"2106.01350","title":"On Efficiently Explaining Graph-Based Classifiers","created":"2021-06-02","cited_by_count":37,"area":null},{"id":"2111.06206","title":"Defining and Quantifying the Emergence of Sparse Concepts in DNNs","created":"2021-11-11","cited_by_count":36,"area":null},{"id":"2310.00836","title":"Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models","created":"2023-10-02","cited_by_count":35,"area":"lr"},{"id":"2108.05276","title":"Trading Complexity for Sparsity in Random Forest Explanations","created":"2021-08-11","cited_by_count":32,"area":null},{"id":"2111.01576","title":"Provably efficient, succinct, and precise explanations","created":"2021-11-01","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":"2212.01051","title":"VeriX: Towards Verified Explainability of Deep Neural Networks","created":"2022-12-02","cited_by_count":30,"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":"2212.08507","title":"Robust Explanation Constraints for Neural Networks","created":"2022-12-16","cited_by_count":24,"area":null},{"id":"2303.15022","title":"Interactive Explanations by Conflict Resolution via Argumentative Exchanges","created":"2023-03-27","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":"2203.10451","title":"On the Computation of Necessary and Sufficient Explanations","created":"2022-03-20","cited_by_count":23,"area":null},{"id":"2206.09551","title":"Eliminating The Impossible, Whatever Remains Must Be True","created":"2022-06-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":"2307.07514","title":"Explainability is NOT a Game","created":"2023-06-27","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.08297","title":"Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation","created":"2024-05-14","cited_by_count":21,"area":null},{"id":"2212.05990","title":"On Computing Probabilistic Abductive Explanations","created":"2022-12-12","cited_by_count":18,"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":"2203.12186","title":"AbductionRules: Training Transformers to Explain Unexpected Inputs","created":"2022-03-23","cited_by_count":17,"area":"lr"},{"id":"2108.09876","title":"On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI","created":"2021-08-23","cited_by_count":16,"area":null},{"id":"2306.15272","title":"Delivering Inflated Explanations","created":"2023-06-27","cited_by_count":16,"area":null},{"id":"2105.14452","title":"A unified logical framework for explanations in classifier systems","created":"2021-05-30","cited_by_count":15,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2405.10729","title":"Contestable AI needs Computational Argumentation","created":"2024-05-17","cited_by_count":13,"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":"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":"2307.03380","title":"On Formal Feature Attribution and Its Approximation","created":"2023-07-07","cited_by_count":11,"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":"2211.02912","title":"New Definitions and Evaluations for Saliency Methods: Staying Intrinsic, Complete and Sound","created":"2022-11-05","cited_by_count":10,"area":null},{"id":"2309.16573","title":"Language Models as a Service: Overview of a New Paradigm and its Challenges","created":"2023-09-28","cited_by_count":10,"area":null},{"id":"2310.03131","title":"Axiomatic Aggregations of Abductive Explanations","created":"2023-09-29","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":"2206.00759","title":"Interpretability Guarantees with Merlin-Arthur Classifiers","created":"2022-06-01","cited_by_count":9,"area":null},{"id":"2312.06973","title":"Anytime Approximate Formal Feature Attribution","created":"2023-12-12","cited_by_count":9,"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":"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":"2409.12154","title":"Abductive explanations of classifiers under constraints: Complexity and properties","created":"2024-09-18","cited_by_count":7,"area":null},{"id":"2505.10991","title":"Most General Explanations of Tree Ensembles (Extended Version)","created":"2025-05-16","cited_by_count":7,"area":null},{"id":"2108.05266","title":"On the Explanatory Power of Decision Trees","created":"2021-08-11","cited_by_count":6,"area":null},{"id":"2309.11196","title":"When to Trust AI: Advances and Challenges for Certification of Neural Networks","created":"2023-09-20","cited_by_count":6,"area":null},{"id":"2312.11831","title":"Locally-Minimal Probabilistic Explanations","created":"2023-12-19","cited_by_count":6,"area":null},{"id":"2410.14219","title":"Formal Explanations for Neuro-Symbolic AI","created":"2024-10-18","cited_by_count":6,"area":null},{"id":"2207.04748","title":"On Computing Relevant Features for Explaining NBCs","created":"2022-07-11","cited_by_count":5,"area":null},{"id":"2301.13328","title":"On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits","created":"2023-01-30","cited_by_count":5,"area":null},{"id":"2303.11712","title":"Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)","created":"2023-03-21","cited_by_count":5,"area":null},{"id":"2304.10558","title":"Using Z3 for Formal Modeling and Verification of FNN Global Robustness","created":"2023-04-20","cited_by_count":5,"area":null},{"id":"2309.13965","title":"May I Ask a Follow-up Question? Understanding the Benefits of Conversations in Neural Network Explainability","created":"2023-09-25","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":"2511.16588","title":"Formal Abductive Latent Explanations for Prototype-Based Networks","created":"2025-11-20","cited_by_count":5,"area":null},{"id":"2511.22498","title":"Space Explanations of Neural Network Classification","created":"2025-11-27","cited_by_count":5,"area":null},{"id":"2309.03041","title":"A Refutation of Shapley Values for Explainability","created":"2023-09-06","cited_by_count":4,"area":null},{"id":"2309.14309","title":"Multiple Different Black Box Explanations for Image Classifiers","created":"2023-09-25","cited_by_count":4,"area":null},{"id":"2310.00416","title":"Refutation of Shapley Values for XAI -- Additional Evidence","created":"2023-09-30","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":"2409.03060","title":"Efficiently Computing Compact Formal Explanations","created":"2024-09-04","cited_by_count":4,"area":null},{"id":"2412.00666","title":"Explaining Object Detectors via Collective Contribution of Pixels","created":"2024-12-01","cited_by_count":4,"area":null},{"id":"2507.23497","title":"Sufficient, Necessary and Complete Causal Explanations in Image Classification","created":"2025-07-31","cited_by_count":4,"area":null},{"id":"2512.00164","title":"Faster Verified Explanations for Neural Networks","created":"2025-11-28","cited_by_count":4,"area":null},{"id":"2105.06001","title":"Sufficient reasons for classifier decisions in the presence of constraints","created":"2021-05-12","cited_by_count":3,"area":null},{"id":"2210.11217","title":"Modelling and Explaining Legal Case-based Reasoners through Classifiers","created":"2022-10-20","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":"2407.15780","title":"Explaining Decisions in ML Models: a Parameterized Complexity Analysis","created":"2024-07-22","cited_by_count":3,"area":null},{"id":"2408.04903","title":"Axiomatic Characterisations of Sample-based Explainers","created":"2024-08-09","cited_by_count":3,"area":null},{"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":"2603.10661","title":"FAME: Formal Abstract Minimal Explanation for Neural Networks","created":"2026-03-11","cited_by_count":3,"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":"2303.02829","title":"Attribution-Scores and Causal Counterfactuals as Explanations in Artificial Intelligence","created":"2023-03-06","cited_by_count":2,"area":null},{"id":"2406.11873","title":"Logic-Based Explainability: Past, Present & Future","created":"2024-06-04","cited_by_count":2,"area":null},{"id":"2407.17454","title":"Automated Explanation Selection for Scientific Discovery","created":"2024-07-24","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.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":"2603.01870","title":"Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization","created":"2026-03-02","cited_by_count":2,"area":null},{"id":"2301.09042","title":"The Shape of Explanations: A Topological Account of Rule-Based Explanations in Machine Learning","created":"2023-01-22","cited_by_count":1,"area":null}],"next_cursor":"100"}