TY  - RPRT
TI  - Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers
AU  - Alberto Alfarano
AU  - François Charton
AU  - Amaury Hayat
PY  - 2024
UR  - https://arxiv.org/abs/2410.08304
ID  - 2410.08304
ER  -