-
SC2_BATH_SC2_2106_基于不失一般性原则的检测研究支持数据集_2016
2026年1月18日 30 135 87
数据集概述 本数据集为论文“What Does 'Without Loss of Generality' Mean (And How Do We Detect It)”的支持数据，包含Maple文件及对应的PDF文件，用于验证和呈现论文中关于“不失一般性”（WLOG）的定义及检测方法的研究内容。 文件详解 文件名称：SC2-BATH-...
-
miniF2F_Graded_LLM_Based_大语言模型定理证明难度分级完整数据
2025年12月19日 30 51 1
数据集概述 该数据集基于miniF2F扩展，为每个定理新增难度、区分度和难度分级三个指标。指标依据大语言模型（LLMs）证明定理的实际表现计算，更准确反映从LLM视角的定理难度，包含数据文件、说明文档及图表，为定理证明评估提供支持。 文件详解...
