数据集 - 海数据

miniF2F_Graded_LLM_Based_大语言模型定理证明难度分级完整数据

2025年12月19日 30 74 22

数据集概述该数据集基于miniF2F扩展，为每个定理新增难度、区分度和难度分级三个指标。指标依据大语言模型（LLMs）证明定理的实际表现计算，更准确反映从LLM视角的定理难度，包含数据文件、说明文档及图表，为定理证明评估提供支持。文件详解...
- ZIP

智能助手

您好！我是海数据平台的智能助手，有什么可以帮助您的吗？