{"total":15,"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":"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":"2305.05172","title":"Logic for Explainable AI","created":"2023-05-09","cited_by_count":23,"area":null},{"id":"2405.10729","title":"Contestable AI needs Computational Argumentation","created":"2024-05-17","cited_by_count":13,"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":"2104.03180","title":"Adversarial Robustness Guarantees for Gaussian Processes","created":"2021-04-07","cited_by_count":5,"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":"2406.11873","title":"Logic-Based Explainability: Past, Present & Future","created":"2024-06-04","cited_by_count":2,"area":null},{"id":"2109.13273","title":"Design of quantum optical experiments with logic artificial intelligence","created":"2021-09-27","cited_by_count":1,"area":null},{"id":"2107.03018","title":"Exact Learning Augmented Naive Bayes Classifier","created":"2021-07-07","cited_by_count":0,"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":"2412.02878","title":"Modeling and Discovering Direct Causes for Predictive Models","created":"2024-12-03","cited_by_count":0,"area":null}],"next_cursor":null}