l3lab/miniCTX-v2
收藏Hugging Face2025-07-22 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/l3lab/miniCTX-v2
下载链接
链接失效反馈官方服务：
资源简介：
miniCTX-v2是一个上下文丰富的数据集，用于在更加真实的场景下评估神经定理证明的性能。它包含了在2024年11月28日之后提取的新定理，是miniCTX数据集的更新版本。
miniCTX-v2 is a context-rich dataset for evaluating neural theorem proving performance under a more realistic scenario. It includes new theorems extracted after November 28, 2024, and is an updated version of the miniCTX dataset.
提供机构：
l3lab
