{"total":16,"rows":[{"id":"2307.03380","title":"On Formal Feature Attribution and Its Approximation","created":"2023-07-07","cited_by_count":11,"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":"2511.22498","title":"Space Explanations of Neural Network Classification","created":"2025-11-27","cited_by_count":5,"area":null},{"id":"2602.08362","title":"Circuit Representations of Random Forests with Applications to XAI","created":"2026-02-09","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":"2509.25662","title":"On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems","created":"2025-09-30","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":"2509.17774","title":"Efficient & Correct Predictive Equivalence for Decision Trees","created":"2025-09-22","cited_by_count":0,"area":null},{"id":"2602.13985","title":"Bridging AI and Clinical Reasoning: Abductive Explanations for Alignment on Critical Symptoms","created":"2026-02-15","cited_by_count":0,"area":null},{"id":"2603.14007","title":"Formal Abductive Explanations for Navigating Mental Health Help-Seeking and Diversity in Tech Workplaces","created":"2026-03-14","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.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},{"id":"2606.23858","title":"Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications","created":"2026-06-22","cited_by_count":0,"area":null},{"id":"2607.08773","title":"Interval Certifications for Multilayered Perceptrons via Lattice Traversal","created":"2026-04-09","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}],"next_cursor":null}