Vivacem/Goedel-Pset-prompt

这个数据集包含了四个字段：问题ID（problem_id）、正式陈述（formal_statement）、非正式陈述（informal_statement）和提示（prompt）。数据集被划分为一个训练集，共有1,732,594个样本，总文件大小为2.90GB。数据集的下载大小为1.36GB。The dataset includes four fields: problem ID (problem_id), formal statement (formal_statement), informal statement (informal_statement), and prompt. The dataset is split into a training set with a total of 1,732,594 samples and a total file size of 2.90GB. The download size of the dataset is 1.36GB.