Workcraft xMAS verification data

Figshare2016-01-01 更新2026-04-29 收录

形式验证

死锁检测

数据链接：

https://figshare.com/articles/dataset/Workcraft_xMAS_verification_data/10281743 数据链接链接失效反馈

官方服务：

资源简介：

Deadlock relations data - Workcraft xMAS tool

创建时间：

2016-01-01

MathComp Corpus

形式验证

机器学习

MathComp Corpus是一个包含Coq证明助手代码的数据集，以及多个独立的机器可读表示形式，这些数据来源于与Mathematical Components库相关的验证项目。该数据集可用于机器学习和数据挖掘应用，提供了多种机器可读的表示形式，如S-expressions，并详细描述了数据集的结构和内容。

github2024-01-27 更新520

Ineq-Comp

数学证明

形式验证

Ineq-Comp数据集是一个用于评估形式定理证明器在代数不等式中的组合推理能力的基准。它由75个种子问题组成，这些问题是使用AM-GM、Cauchy-Schwarz、Jensen不等式等基本工具解决的奥林匹克数学问题，并附有Lean 4的验证证明。从这些种子问题出发，Ineq-Comp通过简单的代数和组合变换生成更多的问题，分为两个类型的变换：Type I和Type II。此外，还包括50个来自

arXiv2025-05-19 更新230

JilinHu/extracted-proof-pile-2

形式验证

编程逻辑

该数据集从proof-pile-2中提取，仅包含可用于预训练的Isabelle和coq文件。

Hugging Face2025-03-28 更新100

Geoint

几何推理

形式验证

### Dataset Summary **Geoint** is a comprehensive benchmark dataset explicitly designed for formal geometric problemsolving. Geoint encompasses 1,885 carefully curated geometric questions across

魔搭社区2025-12-05 更新300

CompCert

编译器验证

形式验证

该数据集是从CompCert仓库中提取的，采用了特定的训练-测试分割方式，其目的是为了进行证明步骤的预测。此外，该数据集还用于多语言和Coq模型的训练过程中。

arXiv170