minimario/Goedel-Pset-v1-Solutions
收藏Hugging Face2025-08-05 更新2025-10-25 收录
下载链接：
https://hf-mirror.com/datasets/minimario/Goedel-Pset-v1-Solutions
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含问题的标识符、正式陈述、非正式陈述、非正式解决方案以及是否为证明问题的标记。数据集分为训练集，共有1196363个示例。
The dataset includes problem identifiers, formal statements, informal statements, informal solutions, and a marker indicating whether it is a proof problem. The dataset is split into a training set with a total of 1,196,363 examples.
提供机构：
minimario
