FLACK: Counterexample-Guided Fault Localization for Alloy Models

Figshare2020-12-19 更新2026-04-28 收录

数据链接：

https://figshare.com/articles/dataset/FLACK_Counterexample-Guided_Fault_Localization_for_Alloy_Models/13439894 数据链接链接失效反馈

官方服务：

资源简介：

Replication package for FLACK in ICSE21. All usage and instructions are in the README.md.

创建时间：

2020-12-19

FormalMATH

形式化验证

自动化推理

FormalMATH是一个包含5560个经过形式化验证的数学问题的数据集，涵盖从高中奥赛挑战到大学水平的定理，涉及代数、应用数学、微积分、数论和离散数学等多个领域。为了减少人工形式化的效率低下，我们引入了一种新颖的自动化形式化流程，该流程集成了：（1）用于自动形式化的特定大型语言模型（LLM），（2）多LLM语义验证，（3）基于否定的反驳过滤策略，使用现成的基于LLM的证明者。这种方法在手动验证之

arXiv2025-05-05 更新1200

Replication package for 'Go with the Flow: Using Data-Flow Spectra in Ensemble-Based Fault Localization'

软件故障定位

数据流谱分析

Replication package for the paper titled Go with the Flow: Using Data-Flow Spectra in Ensemble-Based Fault Localization, to be submitted to ICST 2026. This package contains the results of baseline FL

Zenodo2025-12-18 更新30

Raw data for "Incremental Forward Reasoning for White-Box Proof Search"

形式化验证

定理自动证明

Raw data for the artifact of the paper "Incremental Forward Reasoning for White-Box Proof Search", to be published at TACAS 2026. This dataset contains results from all preliminary runs of the Mathlib

Zenodo2026-04-03 更新20

Verus_Training_Data

形式化验证

程序调试

该数据集为Verus训练数据，用于SAFE和VeruSyn项目。数据集包含两部分：SAFE的SFT数据和VeruSyn的原始轨迹数据。SAFE的SFT数据分为两个文件：`sft_safe_25k.json`包含25K样本（11K证明生成和14K调试），`sft_part1_6.9M.json`包含6.9M样本（5.7M证明生成和1.2M调试），`sft_part2_4557.json`包含4.6K

Hugging Face2026-02-06 更新150

SZLHOLDINGS/terra-source

形式化验证

基础设施管理

Terra Source — 基础设施层镜像，是SZL底层基础设施治理层Terra的源仓库镜像。Terra管理所有底层组件的计算资源供应、网络策略和资源认证。基础设施操作通过sentra进行门控，并生成DSSE签名的供应收据。Terra通过uds-governance-receipts与UDS网格集成。

Hugging Face2026-05-30 更新20

FLACK: Counterexample-Guided Fault Localization for Alloy Models

资源简介：

相关数据集