lmms-lab/PutnamBench
收藏Hugging Face2025-07-05 更新2025-08-09 收录
下载链接：
https://hf-mirror.com/datasets/lmms-lab/PutnamBench
下载链接
链接失效反馈官方服务：
资源简介：
这是一个包含三个配置（coq、isabelle和lean4）的数据集，每个配置下都有问题名称、非正式描述、非正式解决方案、标签和正式描述等字段。数据集提供了测试集分割，并给出了每个配置的数据大小和下载大小。
This dataset consists of three configurations: coq, isabelle, and lean4. Each configuration includes fields such as problem name, informal statement, informal solution, tags, and formal statement. The dataset provides test set splits and includes information about the data size and download size for each configuration.
提供机构：
lmms-lab
