Reproduced the dataset from the paper "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" by (Alberto Alfarano, François Charton, Amaury Hayat). The code for generating this dataset is 100% written by the authors.
The dataset was generated by cloning their GitHub Repository and running the following command:
python train.py --dump_path dataset/ --export_data true --reload_data '' --env_base_seed -1 --num_workers 64 --max_degree 12… See the full description on the dataset page:
https://huggingface.co/datasets/martymukherjee/Lyapunov.
