-
奥伊科斯论文_城市化导致的栖息地破碎化促使蚂蚁物种选择低分散性行为
2026年1月27日 30 62 13
数据集概述 本数据集为发表于Oikos的论文配套数据，主题是城市化导致的栖息地碎片化对蚂蚁物种扩散能力的选择作用。包含分析用脚本、数据文件及可视化表格，共4个文件，支持论文研究结论的验证与复现。 文件详解 分析用数据文件 文件名称：data_R.xlsx 文件格式：XLSX 字段映射介绍：论文分析使用的核心数据文件，具体字段未提供预览 分析用数据文件...
-
miniF2F_Graded_LLM_Based_大语言模型定理证明难度分级完整数据
2025年12月19日 30 138 131
数据集概述 该数据集基于miniF2F扩展，为每个定理新增难度、区分度和难度分级三个指标。指标依据大语言模型（LLMs）证明定理的实际表现计算，更准确反映从LLM视角的定理难度，包含数据文件、说明文档及图表，为定理证明评估提供支持。 文件详解...
