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
