adamtopaz/equational_dataset

该数据集是通过T. Tao的equational theories项目的一个分支生成的，包含了方程及其蕴含关系的数据。数据集主要包含三个文件：`implications.jsonl`、`tokenized_equations.jsonl`和`random_tokenized_equations.jsonl`，这些文件通过特定的命令生成。数据集进一步被分割成训练集、验证集和测试集，分别存储在`train_impl.json`、`val_impl.json`和`test_impl.json`中。方程中的magma表达式通过前缀表示法进行标记化。

This dataset was generated using a fork of T. Taos equational theories project, containing data on equations and their implications. The dataset primarily consists of three files: `implications.jsonl`, `tokenized_equations.jsonl`, and `random_tokenized_equations.jsonl`, which were generated using specific commands. The dataset is further divided into training, validation, and test sets, stored in `train_impl.json`, `val_impl.json`, and `test_impl.json`, respectively. The magma expressions in the equations are tokenized using prefix notation.