{"total":32,"rows":[{"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":"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":"2105.06782","title":"SAT-Based Rigorous Explanations for Decision Lists","created":"2021-05-14","cited_by_count":40,"area":null},{"id":"2106.01350","title":"On Efficiently Explaining Graph-Based Classifiers","created":"2021-06-02","cited_by_count":37,"area":null},{"id":"2111.01576","title":"Provably efficient, succinct, and precise explanations","created":"2021-11-01","cited_by_count":32,"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":"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":"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":"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.01744","title":"Disproving XAI Myths with Formal Methods -- Initial Results","created":"2023-05-13","cited_by_count":12,"area":null},{"id":"2310.03131","title":"Axiomatic Aggregations of Abductive Explanations","created":"2023-09-29","cited_by_count":10,"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":"2511.16588","title":"Formal Abductive Latent Explanations for Prototype-Based Networks","created":"2025-11-20","cited_by_count":5,"area":null},{"id":"2111.04658","title":"Consistent Sufficient Explanations and Minimal Local Rules for explaining regression and classification models","created":"2021-11-08","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":"2105.06001","title":"Sufficient reasons for classifier decisions in the presence of constraints","created":"2021-05-12","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":"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":"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},{"id":"2402.12737","title":"Guarantee Regions for Local Explanations","created":"2024-02-20","cited_by_count":0,"area":null},{"id":"2602.22288","title":"Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy","created":"2026-02-25","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.14594","title":"Scaling the Explanation of Multi-Class Bayesian Network Classifiers","created":"2026-03-15","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":"2606.10347","title":"Beyond Explaining Predictions: Logic-Based Explanations for Confidence in Machine Learning Models","created":"2026-06-09","cited_by_count":0,"area":null}],"next_cursor":null}