TY - RPRT TI - FAME: Formal Abstract Minimal Explanation for Neural Networks AU - Ryma Boumazouza AU - Raya Elsaleh AU - Melanie Ducoffe AU - Shahaf Bassan AU - Guy Katz PY - 2026 UR - https://arxiv.org/abs/2603.10661 ID - 2603.10661 ER -