{"total":14,"rows":[{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81,"area":null},{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"area":null},{"id":"2307.07514","title":"Explainability is NOT a Game","created":"2023-06-27","cited_by_count":23,"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":"2410.14219","title":"Formal Explanations for Neuro-Symbolic AI","created":"2024-10-18","cited_by_count":6,"area":null},{"id":"2310.00416","title":"Refutation of Shapley Values for XAI -- Additional Evidence","created":"2023-09-30","cited_by_count":4,"area":null},{"id":"2603.10661","title":"FAME: Formal Abstract Minimal Explanation for Neural Networks","created":"2026-03-11","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":"2312.10911","title":"The Pros and Cons of Adversarial Robustness","created":"2023-12-18","cited_by_count":1,"area":null},{"id":"2401.12731","title":"The Distributional Uncertainty of the SHAP score in Explainable Machine Learning","created":"2024-01-23","cited_by_count":1,"area":null},{"id":"2412.18262","title":"Efficient Contrastive Explanations on Demand","created":"2024-12-24","cited_by_count":1,"area":null},{"id":"2512.06665","title":"Rethinking Robustness: A New Approach to Evaluating Feature Attribution Methods","created":"2025-12-07","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}],"next_cursor":null}