数据链接：
官方服务：
资源简介：
This archive contains the raw data obtained during execution of SMT-COMP 2024.
应用场景：
创建时间：
2025-02-03
相关数据集
shreyasharma/proofs2
--- dataset_info: features: - name: intermediate_conclusions struct: - name: int1 dtype: string - name: int10 dtype: string - name: int11 dtype: string - name
Hugging Face2022-11-24 更新60
Revisiting Enumerative Instantiation - Artifact
This artifact contains the binaries of the SMT solvers CVC4 and Z3, the benchmarks on which they were evaluated, and the running scripts for each configuration evaluated. An overview of the results ob
NIAID Data Ecosystem50
From absolute to affine geometry in terms of point-reections, midpoints, and collinearity
We investigate equational theories expressed in terms of the point-reflection operation $\sigma$ and the midpoint operation $\mu$ that lie strictly between the absolute and the affine theory, proving
DataCite Commons2020-09-18 更新20
LiveLeanTriathlon
LiveLeanTriathlon是一个用于Lean 4中自动定理证明和自动形式化的基准套件，包含用Lean 4形式化的数学定理集合、证明中使用的支持引理的形式化，以及以LaTeX蓝图形式提供的这些定理、引理及其证明的非正式描述。这些定理来自多个来源，覆盖多个数学领域。
github2026-05-29 更新50
Datset of automated economic reasoning problems for QE / SMT
This dataset is generated by 45 economics theorems "A implies H" where A are assumptions and H a hypothesis. These are taken from textbooks and papers and chosen for their suitability for automatic s
NIAID Data Ecosystem30
