找到2个数据集

标签: 变量数

过滤结果

  • SynPAT合成物理理论生成系统数据集

    2025年12月18日 30 157 27

    数据集概述 该数据集包含SynPAT系统生成的维度一致方程组，覆盖不同变量数、导数数和方程数配置。每个配置含三个生成系统及相关替换、系统数据、噪声变体和推论，用于基准测试符号回归模型在机器辅助物理发现任务中的表现。 文件详解 文件名称: dataset.zip 文件格式: ZIP压缩包 内容说明:...
    packageimg

  • 随机化在CEGAR框架中影响的初步分析论文补充报告数据集

    2025年12月6日 30 196 14

    数据集概述 该数据集是论文《随机化在CEGAR框架中影响的初步分析》的补充报告资料，包含支持论文分析的模型数据、统计分析脚本及报告文档，为理解CEGAR框架中随机因素对验证结果的影响提供数据支持。 文件详解 数据文件（CSV格式）：...
    packageimg