l3lab/miniCTX-v2
收藏Hugging Face2025-03-22 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/l3lab/miniCTX-v2
下载链接
链接失效反馈官方服务：
资源简介：
miniCTX-v2是一个上下文丰富的数据集，用于在更加真实的场景下评估神经定理证明。它是miniCTX数据集的更新版本，包含了在2024年11月28日之后提取的新定理。数据集以不同的配置组织，每个配置都包含验证集和测试集，文件格式为JSONL。数据集条目包括源代码上下文、定理陈述、元数据和证明信息。
miniCTX-v2 is a context-rich dataset for evaluating neural theorem proving under more realistic conditions. It is an updated version of the miniCTX dataset, including new theorems extracted after November 28, 2024. The dataset is organized into different configurations, each with validation and test splits in JSONL format. Each entry in the dataset includes source context, theorem statement, metadata, and proof information.
提供机构：
l3lab
