Research
Journal papers (peer-reviewed)
​
-
Closed sets of finitary functions between finite fields of coprime order, Algebra Universalis 81, Sept. 2020, doi: 10.1007/s00012-020-00683-5, [pdf], link
​
-
Closed sets of finitary functions between products of finite fields of coprime order, Algebra Universalis 82, 2021, doi: 10.1007/s00012-021-00748-z, [pdf], link
​
-
Expansions of abelian square-free groups, International Journal of Algebra and Computation, vol. 31, 2021, doi: 10.1142/S0218196721500302, [pdf], link
​
-
Mal'cev classes of left-quasigroups and Quandles, with Marco Bonatto, Quasigroups and Related Systems 29(2):177-192, 2021, [pdf], link
​​
-
On Freese’s technique, with Paolo Aglianò and Stefano Bartali, accepted in International Journal of Algebra and Computation, 2023, doi: 10.1142/S0218196723500601, [pdf], link
​
​
-
Varieties of MV-monoids and positive MV-algebras, with Marco Abbadini and Paolo Aglianò, Journal of Algebra, 2025, [pdf], link
​
Conference papers (peer-reviewed)
​
-
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge, with Michelangelo Diligenti, Francesco Giannini, Caterina Graziani, Moreno Falaschi and Giuseppe Marra, Proceedings of International Joint Conference on Neural Networks (IJCNN), 2023, Gold Coast, Australia, 2023, pp. 1-8, doi: 10.1109/IJCNN54540.2023.10191706, [pdf], link
​
-
Linguistic Feature Injection for Efficient Natural Language Processing, Proceedings of International Joint Conference on Neural Networks (IJCNN), 2023, with A. Zugarini, F. Giannini, L. Rigutini, M. Maggini and M. Diligenti, Gold Coast, Australia, 2023, pp. 01-07, doi: 10.1109/IJCNN54540.2023.10191680, [pdf], link
​
-
Bridging Equational Properties and Patterns on Graphs: an AI-Based Approach, with Oguzhan Keskin, Alisia Maria Lupidi, Lucie Charlotte Magister, Pietro Barbiero, Pietro Lio, Francesco Giannini, to appear in Proceedings of the 2nd Annual Workshop on Topology, Algebra, and Geometry in Machine Learning (TAG-ML) at the at the 40th International Conference on Machine Learning (ICML), 2023, [pdf], OpenReview, link
​
-
Interpretable Graph Networks Formulate Universal Algebra Conjectures, with Francesco Giannini, Oguzhan Keskin, Alisia Maria Lupidi, Lucie Charlotte Magister, Pietro Lio, Pietro Barbiero, accepted in Proceedings of Thirty-seventh Conference on Neural Information Processing Systems (NeurIPS), 2023, [pdf], [letter of acceptance], link, link2
​
-
Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics, with Francesco Giannini, Pietro Barbiero and Elena Di Lavore, In World Conference on Explainable Artificial Intelligence, Communications in Computer and Information Science, 2024, [pdf], link
​
Technical reports and preprints
​​​
-
On some admissible lattices, submitted, [pdf]
​
-
Mal'cev clones over a three-element set up to minor-equivalence, with Michael Kompatscher, Bernardo Rossi and Albert Vucaj, in preparation
​
-
Clonoids between finite vector spaces, with Michael Kompatscher and Bernardo Rossi, in preparation
​
-
Clonoids between finite lattices, with Gaia Petreni, in preparation
​
-
Logical Coherent Explanations through Categorical Explaining Functors, with Pietro Barbiero, Roberto Confalonieri, Paolo Frazzetto, Francesco Giannini, Nicolò Navarin, and Paolo Zanasi, submitted
​
-
A Few-Shot Repair Methodology to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks, with Roberto Confalonieri, Paolo Frazzetto, Nicolò Navarin, Matteo Zavatteri, and Kamyar Zeinalipour, submitted