{"total":25,"rows":[{"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":"2207.12213","title":"On Computing Probabilistic Explanations for Decision Trees","created":"2022-06-30","cited_by_count":35,"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":"2210.15675","title":"Feature Necessity & Relevancy in ML Classifier Explanations","created":"2022-10-27","cited_by_count":23,"area":null},{"id":"2406.02981","title":"Local vs. Global Interpretability: A Computational Complexity Perspective","created":"2024-06-05","cited_by_count":23,"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":"2307.03380","title":"On Formal Feature Attribution and Its Approximation","created":"2023-07-07","cited_by_count":11,"area":null},{"id":"2408.03915","title":"Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation","created":"2024-08-07","cited_by_count":11,"area":null},{"id":"2305.08876","title":"Neurosymbolic AI and its Taxonomy: a survey","created":"2023-05-12","cited_by_count":6,"area":null},{"id":"2310.11636","title":"A Uniform Language to Explain Decision Trees","created":"2023-10-18","cited_by_count":4,"area":null},{"id":"2401.10938","title":"Even-if Explanations: Formal Foundations, Priorities and Complexity","created":"2024-01-17","cited_by_count":4,"area":null},{"id":"2501.06766","title":"On the Complexity of Global Necessary Reasons to Explain Classification","created":"2025-01-12","cited_by_count":3,"area":null},{"id":"2510.21292","title":"Additive Models Explained: A Computational Complexity Approach","created":"2025-10-24","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":"2502.14745","title":"SQL4NN: Validation and expressive querying of models as data","created":"2025-02-20","cited_by_count":2,"area":null},{"id":"2601.03201","title":"Recursive querying of neural networks via weighted structures","created":"2026-01-06","cited_by_count":2,"area":null},{"id":"2602.18160","title":"Unifying Formal Explanations: A Complexity-Theoretic Perspective","created":"2026-02-20","cited_by_count":2,"area":null},{"id":"2302.06836","title":"COMET: Neural Cost Model Explanation Framework","created":"2023-02-14","cited_by_count":1,"area":null},{"id":"2503.16203","title":"Logic Explanation of AI Classifiers by Categorical Explaining Functors","created":"2025-03-20","cited_by_count":1,"area":null},{"id":"2511.19100","title":"Extracting Robust Register Automata from Neural Networks over Data Sequences","created":"2025-11-24","cited_by_count":1,"area":null},{"id":"2306.15803","title":"On Logic-Based Explainability with Partially Specified Inputs","created":"2023-06-27","cited_by_count":0,"area":null},{"id":"2504.14448","title":"Seeing Through Risk: A Symbolic Approximation of Prospect Theory","created":"2025-04-20","cited_by_count":0,"area":null},{"id":"2602.16473","title":"Synthesis and Verification of Transformer Programs (Technical Report)","created":"2026-02-18","cited_by_count":0,"area":null},{"id":"2607.06407","title":"ExplAIner: A Declarative Query Language for Explaining Classification Models","created":"2026-07-07","cited_by_count":0,"area":null}],"next_cursor":null}