Interpretable Graph Networks Formulate Universal Algebra Conjectures - Giannini, Francesco; Fioravanti, Stefano; Keskin, Oguzhan; Lupidi, Alisia; Magister, Lucie Charlotte; Lió, Pietro; Barbiero, Pietro (Advances in Neural Information Processing Systems, 2023)