Cover Image

FAME: Formal Abstract Minimal Explanation for Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Boumazouza, Ryma, Elsaleh, Raya, Ducoffe, Melanie, Bassan, Shahaf, Katz, Guy
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
by: Elboher, Yizhak, et al.
Published: (2024)

Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance
by: Ducoffe, Mélanie, et al.
Published: (2024)

Unifying Formal Explanations: A Complexity-Theoretic Perspective
by: Bassan, Shahaf, et al.
Published: (2026)

Robust Vision-Based Runway Detection through Conformal Prediction and Conformal mAP
by: Zouzou, Alya, et al.
Published: (2025)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
by: Boetius, David, et al.
Published: (2026)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
by: Bassan, Shahaf, et al.
Published: (2025)

SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
by: Marzouk, Reda, et al.
Published: (2025)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
by: Hadad, Itamar, et al.
Published: (2026)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

Local vs. Global Interpretability: A Computational Complexity Perspective
by: Bassan, Shahaf, et al.
Published: (2024)

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
by: Amir, Guy, et al.
Published: (2024)

Additive Models Explained: A Computational Complexity Approach
by: Bassan, Shahaf, et al.
Published: (2025)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

VerifIoU -- Robustness of Object Detection to Perturbations
by: Cohen, Noémie, et al.
Published: (2024)

What makes an Ensemble (Un) Interpretable?
by: Bassan, Shahaf, et al.
Published: (2025)

Certified geometric robustness -- Super-DeepG
by: Cohen, Noémie, et al.
Published: (2026)

Efficiently Computing Compact Formal Explanations
by: Wu, Min, et al.
Published: (2024)

FAME: Adaptive Functional Attention with Expert Routing for Function-on-Function Regression
by: Gao, Yifei, et al.
Published: (2025)

Locally-Minimal Probabilistic Explanations
by: Izza, Yacine, et al.
Published: (2023)

Is Your Explanation Reliable: Confidence-Aware Explanation on Graph Neural Networks
by: Zhang, Jiaxing, et al.
Published: (2025)

Even-if Explanations: Formal Foundations, Priorities and Complexity
by: Alfano, Gianvincenzo, et al.
Published: (2024)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
by: Bassan, Shahaf, et al.
Published: (2025)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
by: Elboher, Yizhak Y., et al.
Published: (2026)

The GECo algorithm for Graph Neural Networks Explanation
by: Calderaro, Salvatore, et al.
Published: (2024)

Regularizing Explanations in Bayesian Convolutional Neural Networks
by: Bekkemoen, Yanzhe, et al.
Published: (2021)

Pathwise Explanation of ReLU Neural Networks
by: Lim, Seongwoo, et al.
Published: (2025)

Towards Verified and Targeted Explanations through Formal Methods
by: Wang, Hanchen David, et al.
Published: (2026)

Graph Neural Network Causal Explanation via Neural Causal Models
by: Behnam, Arman, et al.
Published: (2024)

Uncertainty Quantification for Gradient-based Explanations in Neural Networks
by: Mulye, Mihir, et al.
Published: (2024)

Game-theoretic Counterfactual Explanation for Graph Neural Networks
by: Chhablani, Chirag, et al.
Published: (2024)

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
by: Ma, Bin, et al.
Published: (2025)

On the Computational Tractability of the (Many) Shapley Values
by: Marzouk, Reda, et al.
Published: (2025)

Obtaining Example-Based Explanations from Deep Neural Networks
by: Dong, Genghua, et al.
Published: (2025)

Attribution Explanations for Deep Neural Networks: A Theoretical Perspective
by: Deng, Huiqi, et al.
Published: (2025)

A Model of Causal Explanation on Neural Networks for Tabular Data
by: Isozaki, Takashi, et al.
Published: (2025)

Counterfactual Explanations for Hypergraph Neural Networks
by: Veglianti, Fabiano, et al.
Published: (2026)

Uncovering a Universal Abstract Algorithm for Modular Addition in Neural Networks
by: McCracken, Gavin, et al.
Published: (2025)

Tuning for Trustworthiness -- Balancing Performance and Explanation Consistency in Neural Network Optimization
by: Hinterleitner, Alexander, et al.
Published: (2025)

GRExplainer: A Universal Explanation Method for Temporal Graph Neural Networks
by: Li, Xuyan, et al.
Published: (2025)