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