@misc{indiciae09482e983856,
  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},
  url = {https://arxiv.org/abs/2410.08304},
  note = {Source identifier: 2410.08304}
}