Stefano Fioravanti

Publications
Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi, Nicolò Navarin (2025). Categorical Explaining Functors: Ensuring Coherence in Logical Explanations. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 11-17, 2025.
URL DOI
Stefano Fioravanti, Francesco Giannini, Paolo Frazzetto, Fabio Zanasi, Pietro Barbiero (2025). Logic Explanation of AI Classifiers by Categorical Explaining Functors. CoRR.
URL DOI
Francesco Giannini, Stefano Fioravanti, Pietro Barbiero, Alberto Tonda, Pietro Liò, Elena Di Lavore (2024). Categorical Foundation of Explainable AI: A Unifying Theory. Explainable Artificial Intelligence - Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III.
URL DOI
Oguzhan Keskin, Alisia Maria Lupidi, Stefano Fioravanti, Lucie Charlotte Magister, Pietro Barbiero, Pietro Lio, Francesco Giannini (2023). Bridging Equational Properties and Patterns on Graphs: an AI-Based Approach. Topological, Algebraic and Geometric Learning Workshops 2023, 28 July 2023, Honolulu, HI, USA.
URL
Pietro Barbiero, Stefano Fioravanti, Francesco Giannini, Alberto Tonda, Pietro Liò, Elena Di Lavore (2023). Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics. CoRR.
URL DOI
Francesco Giannini, Stefano Fioravanti, Oguzhan Keskin, Alisia Maria Lupidi, Lucie Charlotte Magister, Pietro Lió, Pietro Barbiero (2023). Interpretable Graph Networks Formulate Universal Algebra Conjectures. Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023.
URL
Francesco Giannini, Stefano Fioravanti, Oguzhan Keskin, Alisia Maria Lupidi, Lucie Charlotte Magister, Pietro Lio, Pietro Barbiero (2023). Interpretable Graph Networks Formulate Universal Algebra Conjectures. CoRR.
URL DOI