Metric-Guided Synthesis for Class Activation Mapping
Paper in proceeding, 2026
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-3759783032083265 (ISBN)
Istanbul, Turkey,
Subject Categories (SSIF 2025)
Computer Sciences
DOI
10.1007/978-3-032-08327-2_17