Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers. - Alberto Alfarano; François Charton; Amaury Hayat (NeurIPS, 2024)

Teaching Transformers Modular Arithmetic at Scale. - Eshika Saxena; Alberto Alfarano; Emily Wenger; Kristin E. Lauter (CoRR, 2024)

STLight: A Fully Convolutional Approach for Efficient Predictive Learning by Spatio-Temporal Joint Processing. - Andrea Alfarano; Alberto Alfarano; Linda Friso; Andrea Bacciu; Irene Amerini; Fabrizio Silvestri (WACV, 2025)