martymukherjee/Lyapunov

该数据集是根据论文《Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers》生成的，包含了训练集、验证集和测试集三个部分。数据集特征包括vector_field和lyap_fn，这两个特征都是以字符串形式存储的。数据集用于研究符号变换器在全局李亚普诺夫函数方面的应用。

The dataset is generated based on the paper Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers, and includes three parts: training set, validation set, and test set. The dataset features include vector_field and lyap_fn, both of which are stored as strings. The dataset is used for studying the application of symbolic transformers in global Lyapunov functions.