Una condició suficient per a l’estabilitat d’un sistema dinàmic és l’existència d’una funció de Lyapunov, la qual és, però, difícil de trobar. Aquest treball és una exploració de com els transformers aconsegueixen trobar-la en molt més casos que les tècniques tradicionals. La referència inicial d’aquest treball és “Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers” d’Alfarano, Charton and Hayat. L’estudiant ha de tindre coneixements de xarxes neuronals.