Metric-Guided Synthesis for Class Activation Mapping
Paper in 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

Author

Alejandro Luque Cerpa

University of Gothenburg

Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Elizabeth Polgreen

University of Edinburgh

Ajitha Rajan

University of Edinburgh

Hazem Torfah

University of Gothenburg

Chalmers, Computer Science and Engineering (Chalmers), Formal methods

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,

Subject Categories (SSIF 2025)

Computer Sciences

DOI

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

More information

Latest update

11/25/2025