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
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
​
Technical reports and preprints
​
-
Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics, with Francesco Giannini, Pietro Barbiero and Elena Di Lavore, submitted, [pdf], link
​
​
-
On some admissible lattices, in preparation
​
-
The lattice of Mal’cev clones on a 3-element set modulo pp-constructability, with Bernardo Rossi and Albert Vucaj, in preparation
​
-
Varieties and quasi-varieties of MV-monoids, with Marco Abbadini and Paolo Aglianò, in preparation
​
-
Efficient explainability for natural language processing, with A. Zugarini, F. Giannini, L. Rigutini, M. Maggini and M. Diligenti, in preparation
​