{"total":27,"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":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2502.03391","title":"Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons","created":"2025-02-05","cited_by_count":12,"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":"2503.18067","title":"Self-Explaining Neural Networks for Business Process Monitoring","created":"2025-03-23","cited_by_count":5,"area":null},{"id":"2511.22498","title":"Space Explanations of Neural Network Classification","created":"2025-11-27","cited_by_count":5,"area":null},{"id":"2512.00164","title":"Faster Verified Explanations for Neural Networks","created":"2025-11-28","cited_by_count":4,"area":null},{"id":"2510.21292","title":"Additive Models Explained: A Computational Complexity Approach","created":"2025-10-24","cited_by_count":3,"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":"2602.18160","title":"Unifying Formal Explanations: A Complexity-Theoretic Perspective","created":"2026-02-20","cited_by_count":2,"area":null},{"id":"2603.12232","title":"Incremental Neural Network Verification via Learned Conflicts","created":"2026-03-12","cited_by_count":2,"area":null},{"id":"2412.18262","title":"Efficient Contrastive Explanations on Demand","created":"2024-12-24","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.17530","title":"Provably Explaining Neural Additive Models","created":"2026-02-19","cited_by_count":1,"area":null},{"id":"2410.06019","title":"Unveiling Transformer Perception by Exploring Input Manifolds","created":"2024-10-08","cited_by_count":0,"area":null},{"id":"2505.12421","title":"Fixed Point Explainability","created":"2025-05-18","cited_by_count":0,"area":null},{"id":"2505.20269","title":"Comparing Neural Network Encodings for Logic-based Explainability","created":"2025-05-26","cited_by_count":0,"area":null},{"id":"2506.12084","title":"The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification","created":"2025-06-10","cited_by_count":0,"area":null},{"id":"2508.11959","title":"Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index","created":"2025-08-16","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":"2604.15898","title":"Towards Rigorous Explainability by Feature Attribution","created":"2026-04-17","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.28954","title":"Mining Verdict Boundaries for Neural Network Verification","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2608.16773","title":"Beyond $L_2$: Generalizing Abductive Latent Explanations to Diverse Prototype-Based Architectures","created":"2026-08-17","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}