SMT-COMP 2024 Raw Execution Data

NIAID Data Ecosystem2026-05-02 收录

SMT求解器

定理自动证明

数据链接：

https://zenodo.org/record/14792280 数据链接链接失效反馈

官方服务：

资源简介：

This archive contains the raw data obtained during execution of SMT-COMP 2024.

创建时间：

2025-02-03

HUNYUANPROVER数据集

定理自动证明

自然语言处理

HUNYUANPROVER数据集由腾讯混元团队创建，旨在解决自动定理证明中的数据稀缺问题。该数据集包含30,000条数据实例，每条实例包括自然语言中的原始问题、自动形式化转换后的陈述以及由HunyuanProver生成的证明。数据集的生成过程涉及从130,000条高质量的自然语言到LEAN格式的陈述对开始，通过自动形式化模型将3000万条内部数学问题转换为形式化陈述，并经过多轮迭代生成证明数据。该

arXiv2024-12-31 更新390

edbeeching/fineproofs-gpt-oss-120b

定理自动证明

语言模型推理

FineProofs GPT-OSS 120B是一个与FineProofs兼容的训练快照数据集，使用openai/gpt-oss-120b模型生成。数据集包含1382行数据，时间戳为2026-05-27T10:04:24Z。其模式与lm-provers/FineProofs-SFT完全匹配，包括问题、推理内容、证明、类别、竞赛、gemini-3-pro-grade、qwen3-4b-thinkin

Hugging Face2026-05-27 更新80

Extending a High-Performance Prover to Higher-Order Logic

定理自动证明

高阶逻辑扩展

This is the package containing raw evaluation data and other related data for the submission Extending a High-Performance Prover to Higher-Order Logic. The problems used for the evaluation are store

NIAID Data Ecosystem50

ethz-spylab/arxiv_math_bench

定理自动证明

数学问题求解

这是一个包含计算机科学和数学领域问题的数据集，每个问题都包括定理、问题、答案和上下文字段，以及指向相关论文的链接。

Hugging Face2025-04-21 更新120

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

SMT-COMP 2024 Raw Execution Data

资源简介：

相关数据集