{"total":54,"rows":[{"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":"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":"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":"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":"2212.08507","title":"Robust Explanation Constraints for Neural Networks","created":"2022-12-16","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":"2206.09551","title":"Eliminating The Impossible, Whatever Remains Must Be True","created":"2022-06-20","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":"2406.02981","title":"Local vs. Global Interpretability: A Computational Complexity Perspective","created":"2024-06-05","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":"2112.07605","title":"The King is Naked: on the Notion of Robustness for Natural Language Processing","created":"2021-12-13","cited_by_count":16,"area":null},{"id":"2306.15272","title":"Delivering Inflated Explanations","created":"2023-06-27","cited_by_count":16,"area":null},{"id":"2206.03178","title":"Fooling Explanations in Text Classifiers","created":"2022-06-07","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":"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":"2205.09569","title":"Provably Precise, Succinct and Efficient Explanations for Decision Trees","created":"2022-05-19","cited_by_count":8,"area":null},{"id":"2311.13852","title":"A Cross Attention Approach to Diagnostic Explainability using Clinical Practice Guidelines for Depression","created":"2023-11-23","cited_by_count":8,"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":"2402.11242","title":"Learning with Imbalanced Noisy Data by Preventing Bias in Sample Selection","created":"2024-02-17","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":"2503.18067","title":"Self-Explaining Neural Networks for Business Process Monitoring","created":"2025-03-23","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":"2409.03060","title":"Efficiently Computing Compact Formal Explanations","created":"2024-09-04","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":"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":"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":"2210.17406","title":"Emergent Linguistic Structures in Neural Networks are Fragile","created":"2022-10-31","cited_by_count":2,"area":null},{"id":"2311.01605","title":"Faithful and Robust Local Interpretability for Textual Predictions","created":"2023-10-30","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":"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":"2306.15803","title":"On Logic-Based Explainability with Partially Specified Inputs","created":"2023-06-27","cited_by_count":0,"area":null},{"id":"2410.06019","title":"Unveiling Transformer Perception by Exploring Input Manifolds","created":"2024-10-08","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.17774","title":"Efficient & Correct Predictive Equivalence for Decision Trees","created":"2025-09-22","cited_by_count":0,"area":null},{"id":"2604.14209","title":"Towards Verified and Targeted Explanations through Formal Methods","created":"2026-04-05","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":"2608.17103","title":"From Abductive Explanations to Global Logical Rules for Node Classification in SGCs","created":"2026-08-17","cited_by_count":0,"area":null},{"id":"2609.14099","title":"Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks","created":"2026-09-12","cited_by_count":0,"area":null},{"id":"2609.15533","title":"The Misery of Mechanistic Interpretability: A Formal Perspective","created":"2026-09-14","cited_by_count":0,"area":"mechinterp"}],"next_cursor":null}