l3lab/miniCTX
收藏Hugging Face2025-02-12 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/l3lab/miniCTX
下载链接
链接失效反馈官方服务：
资源简介：
miniCTX数据集是一个与数学公式定理证明相关的数据集，它包含了不同配置下的验证集和测试集。每个数据集条目由定理陈述、源代码上下文、元数据和证明信息组成。该数据集适用于Lean证明助手中的定理证明，并且每个配置都有其对应的验证和测试文件。数据集条目以JSON格式存储，包括各种元数据字段。此外，README中提供了每个数据集分割的链接和git提交版本，以便进行评估。
The miniCTX dataset is related to theorem proving in the context of mathematical formulas, containing validation and test sets for different configurations. Each dataset entry consists of a theorem statement, source context, metadata, and proof information, applicable to theorem proving in the Lean proof assistant. The dataset entries are stored in JSON format with various metadata fields. Additionally, the README provides links and git commit versions for each dataset split for evaluation purposes.
提供机构：
l3lab
