{"total":15,"rows":[{"id":"2405.08297","title":"Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation","created":"2024-05-14","cited_by_count":21,"area":null},{"id":"2306.15272","title":"Delivering Inflated Explanations","created":"2023-06-27","cited_by_count":16,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"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":"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":"2408.12927","title":"Abductive and Contrastive Explanations for Scoring Rules in Voting","created":"2024-08-23","cited_by_count":3,"area":null},{"id":"2408.10362","title":"Query languages for neural networks","created":"2024-08-19","cited_by_count":2,"area":null},{"id":"2404.17034","title":"Learning Actionable Counterfactual Explanations in Large State Spaces","created":"2024-04-25","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.04028","title":"Axiomatic Foundations of Counterfactual Explanations","created":"2026-02-03","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":"2505.00474","title":"Rule-based Classifier Models","created":"2025-05-01","cited_by_count":0,"area":null},{"id":"2509.01479","title":"An Information-Flow Perspective on Explainability Requirements: Specification and Verification","created":"2025-09-01","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":"2510.13691","title":"A Modal Logic for Temporal and Jurisdictional Classifier Models","created":"2025-10-15","cited_by_count":0,"area":null}],"next_cursor":null}