SetCFR 实验数据与结果

Name: SetCFR 实验数据与结果
Creator: maas
Published: 2026-09-02T21:59:45+08:00

魔搭社区2026-09-06 更新2026-09-06 收录

数据链接：

https://modelscope.cn/datasets/cncncnt/SetCFR-Data 数据链接链接失效反馈

官方服务：

资源简介：

Retrieval data, Lean 4 proof-context data, frozen theorem-search suites, and paper results for SetCFR.

提供机构：

maas

创建时间：

2026-09-02

ARD-MAV

数据集文件元信息以及数据文件，请浏览“数据集文件”页面获取。当前数据集卡片使用的是默认模版，数据集的贡献者未提供更加详细的数据集介绍，但是您可以通过如下GIT Clone命令，或者ModelScope SDK来下载数据集 #### 下载方法 :modelscope-code[]{type="sdk"} :modelscope-code[]{type="git"}

魔搭社区2026-04-25 更新750

RLAIF-Nectar

强化学习对齐

语言模型优化

license: cc-by-nc-4.0 ---

魔搭社区2025-09-28 更新130

魔搭社区2026-08-26 更新10

# OmniThought-0528 *A High-Quality Chain-of-Thought (CoT) Dataset for Enhanced Model Distillation* ## **Overview** OmniThought-0528 is an advanced version of the **OmniThought** dataset, design

魔搭社区2026-05-22 更新210

concurrentqa

ConcurrentQA is a textual multi-hop QA benchmark to require concurrent retrieval over multiple data-distributions (i.e. Wikipedia and email data). This dataset was constructed by researchers at Stanf

魔搭社区2026-06-24 更新20

SetCFR 实验数据与结果

资源简介：

相关数据集