{"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.00523","title":"Deep Learning with Logical Constraints","created":"2022-05-01","cited_by_count":44,"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":"2106.00154","title":"Explanations for Monotonic Classifiers","created":"2021-06-01","cited_by_count":39,"area":null},{"id":"2104.08015","title":"On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results","created":"2021-04-16","cited_by_count":32,"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":"2203.10451","title":"On the Computation of Necessary and Sufficient Explanations","created":"2022-03-20","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":"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":"2105.14452","title":"A unified logical framework for explanations in classifier systems","created":"2021-05-30","cited_by_count":15,"area":null},{"id":"2202.02942","title":"Tractable Boolean and Arithmetic Circuits","created":"2022-02-07","cited_by_count":9,"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":"2105.09108","title":"Provable Guarantees on the Robustness of Decision Rules to Causal Interventions","created":"2021-05-19","cited_by_count":6,"area":null},{"id":"2206.09638","title":"A Symbolic Approach for Counterfactual Explanations","created":"2022-06-20","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":"2208.08609","title":"A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables","created":"2022-08-18","cited_by_count":4,"area":null},{"id":"2505.01954","title":"Semantic Probabilistic Control of Language Models","created":"2025-05-04","cited_by_count":4,"area":null},{"id":"2303.06516","title":"Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation","created":"2023-03-11","cited_by_count":3,"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":"2308.00184","title":"Attribution-Scores in Data Management and Explainable Machine Learning","created":"2023-07-31","cited_by_count":2,"area":null},{"id":"2201.06467","title":"Principled Diverse Counterfactuals in Multilinear Models","created":"2022-01-17","cited_by_count":1,"area":null},{"id":"2405.17049","title":"Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization","created":"2024-05-27","cited_by_count":1,"area":null},{"id":"2604.27007","title":"Binary Spiking Neural Networks as Causal Models","created":"2026-04-29","cited_by_count":1,"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":"2306.05211","title":"Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks","created":"2023-06-08","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":"2604.17967","title":"A Sugeno Integral View of Binarized Neural Network Inference","created":"2026-04-20","cited_by_count":0,"area":null}],"next_cursor":null}