Frocos2016's paper, modal specifications verification experimentation results and data-sets

Figshare2016-08-11 更新2026-04-08 收录

形式化验证

模态规约分析

数据链接：

https://figshare.com/articles/dataset/Frocos2016_zip/2067156/2 数据链接链接失效反馈

官方服务：

资源简介：

Frocos 2016<br>Modal specifications verification, data-sets and results

创建时间：

2016-08-11

FormalMATH

形式化验证

自动化推理

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

arXiv2025-05-05 更新1200

3917_Z3.csv

形式化验证

空间数据转换

spatialization of the Z3 binary encoded for 3917

DataCite Commons2024-06-09 更新70

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

Artifact for "Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd"

形式化验证

大语言模型代码生成

Large language models (LLMs) have recently shown promise in automating formal specification generation, but their effectiveness has mainly been demonstrated on self-contained benchmark tasks. This pap

Zenodo2026-05-06 更新90

SZLHOLDINGS/terra-source

形式化验证

基础设施管理

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

Hugging Face2026-05-30 更新20

Frocos2016's paper, modal specifications verification experimentation results and data-sets

资源简介：

相关数据集