-
SG_PG_2023_Based纽结图诱导代数结构实验自动推理研究数据
2026年1月22日 30 188 28
数据集概述 本数据集是论文《纽结图诱导的半群、凯斯与群：基于自动推理的实验研究》的补充材料，包含支持该研究的实验数据。数据聚焦纽结图相关代数结构的实验分析，通过自动推理方法开展研究，为数学领域纽结理论与代数结构的交叉研究提供实证支持。 文件详解 文件名称：SG-PG-2023.zip 文件格式：ZIP（压缩包）...
-
Propositional_Resolution_Based命题归结证明数据集
2026年1月19日 30 206 135
数据集概述 本数据集包含命题归结证明，主要采用SMT求解器VeriT格式，同时包含少量TraceCheck格式证明和一份DRUP/DRAT格式证明。这些证明曾用于Skeptik工具中证明压缩算法的评估实验，为命题逻辑证明相关研究提供基础数据。 文件详解 文件名称：Propositional Resolution Proofs.zip 文件格式：ZIP...
-
Andrews_Curtis猜想的概率自动机分类器辅助自动推理研究数据集
2025年12月23日 30 80 75
数据集概述 本数据集是研究论文《Automated reasoning boosted by a probabilistic automaton classifier: An application to the Andrews-Curtis...
-
SMT公式高效体积计算数据集KR_25
2025年12月13日 30 116 90
数据集概述 该数据集包含复现KR-25会议论文《Efficient Volume Computation for SMT Formulas》结果所需的必要数据，主要由基准测试数据和计算集群生成的日志文件组成，为验证SMT公式体积计算方法的效率提供数据支持。 文件详解 文件名称：benchmarks.zip 文件格式：ZIP压缩包...
-
TPTPv7-4-0公式库数据集-filipbartek
2025年4月24日 30 46 2
TPTPv7-4-0公式库数据集-filipbartek 数据来源：互联网公开数据 标签：逻辑推理，定理证明，数据集，人工智能，自动推理，形式化方法，计算机科学，逻辑学 数据概述： 该数据集包含了TPTP（Thousands of Problems for Theorem Provers，定理证明器问题集）...
