TY - RPRT TI - Logic Explanation of AI Classifiers by Categorical Explaining Functors AU - Stefano Fioravanti AU - Francesco Giannini AU - Paolo Frazzetto AU - Fabio Zanasi AU - Pietro Barbiero PY - 2025 DO - 10.24963/kr.2025/30 UR - https://arxiv.org/abs/2503.16203 ID - 2503.16203 ER -