@article{globallyapunovfunctionsalongstanding,
  title = {Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers},
  author = {Alberto Alfarano and François Charton and Amaury Hayat},
  year = {2024},
  eprint = {2410.08304},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.08304v1},
}