Metric-Guided Synthesis for Class Activation Mapping
Paper in proceeding, 2026
Oracle-guided inductive synthesis
Class activation mappings
Explainability
Author
Alejandro Luque Cerpa
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
University of Gothenburg
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