Metric-Guided Synthesis for Class Activation Mapping
Paper i proceeding, 2026

Class activation mapping (CAM) is a widely adopted class of saliency methods used to explain the behavior of convolutional neural networks (CNNs). These methods generate heatmaps that highlight the parts of the input most relevant to the CNN output. Various CAM methods have been proposed, each distinguished by the expressions used to derive heatmaps. In general, users look for heatmaps with specific properties that reflect different aspects of CNN functionality. These may include similarity to ground truth, robustness, equivariance, and more. Although existing CAM methods implicitly encode some of these properties in their expressions, they do not allow for variability in heatmap generation following the user’s intent or domain knowledge. In this paper, we address this limitation by introducing SyCAM, a metric-based approach for synthesizing CAM expressions. Given a predefined evaluation metric for saliency maps, SyCAM automatically generates CAM expressions optimized for that metric. We specifically explore a syntax-guided synthesis instantiation of SyCAM, where CAM expressions are derived based on predefined syntactic constraints and the given metric. Using several established evaluation metrics, we demonstrate the efficacy and flexibility of our approach in generating targeted heatmaps. We compare SyCAM with other well-known CAM methods on three prominent models: ResNet50, VGG16, and VGG19.

Explainability

Class activation mappings

Oracle-guided inductive synthesis

Författare

Alejandro Luque Cerpa

Göteborgs universitet

Chalmers, Data- och informationsteknik, Formella metoder

Elizabeth Polgreen

University of Edinburgh

Ajitha Rajan

University of Edinburgh

Hazem Torfah

Göteborgs universitet

Chalmers, Data- och informationsteknik, Formella metoder

Communications in Computer and Information Science

1865-0929 (ISSN) 18650937 (eISSN)

Vol. 2578 351-375
9783032083265 (ISBN)

3rd World Conference on Explainable Artificial Intelligence, xAI 2025
Istanbul, Turkey,

Ämneskategorier (SSIF 2025)

Datavetenskap (datalogi)

DOI

10.1007/978-3-032-08327-2_17

Mer information

Senast uppdaterat

2025-11-25