---
title: SetCFR-Data
canonical_url: "https://www.modelscope.cn/datasets/cncncnt/SetCFR-Data"
md_url: "https://www.modelscope.cn/datasets/cncncnt/SetCFR-Data.md"
repository: cncncnt/SetCFR-Data
chinese_name: "SetCFR 实验数据与结果"
last_updated: 2026-09-02
license: Apache-2.0
downloads: 138
stars: 0
---

# SetCFR-Data

> SetCFR-Data - cncncnt 在 ModelScope 开源的数据集。Retrieval data, Lean 4 proof-context data, frozen theorem-search suites, and paper results for SetCFR.

cncncnt/SetCFR-Data 是 ModelScope 魔搭社区上的数据集，采用 Apache-2.0 许可。

- **Repository**: cncncnt/SetCFR-Data
- **License**: Apache-2.0
- **Downloads**: 138
- **Stars**: 0
- **Last updated**: 2026-09-02

Source: https://www.modelscope.cn/datasets/cncncnt/SetCFR-Data

---

数据集文件元信息以及数据文件，请浏览“数据集文件”页面获取。

当前数据集卡片使用的是默认模版，数据集的贡献者未提供更加详细的数据集介绍，但是您可以通过如下GIT Clone命令，或者ModelScope SDK来下载数据集

#### 下载方法 
:modelscope-code[]{type="sdk"}
:modelscope-code[]{type="git"}