FAME: Formal Abstract Minimal Explanation for Neural Networks - Boumazouza, Ryma; Elsaleh, Raya; Ducoffe, Melanie; Bassan, Shahaf; Katz, Guy (International Conference on Learning Representations, 2026)