Vivacem/Goedel-Pset-prompt
收藏Hugging Face2025-04-09 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/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.
提供机构：
Vivacem
