{"total":38,"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":"2406.02981","title":"Local vs. Global Interpretability: A Computational Complexity Perspective","created":"2024-06-05","cited_by_count":23,"area":null},{"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":"2307.05902","title":"Stability Guarantees for Feature Attributions with Multiplicative Smoothing","created":"2023-07-12","cited_by_count":14,"area":null},{"id":"2506.08505","title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations","created":"2025-06-10","cited_by_count":13,"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":"2504.13787","title":"Probabilistic Stability Guarantees for Feature Attributions","created":"2025-04-18","cited_by_count":9,"area":null},{"id":"2407.13281","title":"Auditing Local Explanations is Hard","created":"2024-07-18","cited_by_count":8,"area":null},{"id":"2510.21599","title":"SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism","created":"2025-10-24","cited_by_count":8,"area":null},{"id":"2505.10991","title":"Most General Explanations of Tree Ensembles (Extended Version)","created":"2025-05-16","cited_by_count":7,"area":null},{"id":"2605.11161","title":"Interpretability Can Be Actionable","created":"2026-05-11","cited_by_count":7,"area":null},{"id":"2305.01932","title":"Fully Automatic Neural Network Reduction for Formal Verification","created":"2023-05-03","cited_by_count":6,"area":null},{"id":"2310.16316","title":"Sum-of-Parts: Self-Attributing Neural Networks with End-to-End Learning of Feature Groups","created":"2023-10-25","cited_by_count":6,"area":null},{"id":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","cited_by_count":5,"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.16588","title":"Formal Abductive Latent Explanations for Prototype-Based Networks","created":"2025-11-20","cited_by_count":5,"area":null},{"id":"2407.01295","title":"Towards Formal Verification of Deep Neural Networks for Object Detection","created":"2024-07-01","cited_by_count":4,"area":null},{"id":"2503.12083","title":"PICID: Proof-Driven Clause Learning in Neural Network Verification","created":"2025-03-15","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":"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":"2303.09271","title":"Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles","created":"2023-03-16","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":"2603.01923","title":"Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks","created":"2026-03-02","cited_by_count":1,"area":null},{"id":"2603.04831","title":"Missingness Bias Calibration in Feature Attribution Explanations","created":"2026-03-05","cited_by_count":1,"area":null},{"id":"2605.06640","title":"Concept-Based Abductive and Contrastive Explanations for Behaviors of Vision Models","created":"2026-05-07","cited_by_count":1,"area":null},{"id":"2301.09941","title":"ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents","created":"2023-01-24","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":"2509.10206","title":"Feature Attribution in 5G Intrusion Detection: A Statistical vs. Logic-Based Comparison","created":"2025-09-12","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":"2602.22115","title":"Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing","created":"2026-02-25","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":"2605.24084","title":"Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks","created":"2026-05-22","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}],"next_cursor":null}