Source code and data relevant for the paper 'Learning Register Automata with ...

B2FIND2026-04-29 收录

寄存器自动机学习

形式化验证

数据链接：

https://b2find.eudat.eu/dataset/1be63cf6-ba8f-5819-ae84-704642aa318f 数据链接链接失效反馈

官方服务：

资源简介：

The dataset contains source code and data relevant for the journal extension of the conference paper "Learning Register Automata with Fresh Value Generation". The journal was...

FormalMATH

形式化验证

自动化推理

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

arXiv2025-05-05 更新1200

Development of a System Controlling Cars on a Bridge using Machine Inclusion

桥梁交通控制

形式化验证

This dataset is associated with the following paper: Thai Son Hoang, Dana Dghaym, Colin Snook, and Michael Butler. A Composition Mechanism for Refinement-Based Methods. In Zhenjiang Hu and Guangdong B

DataCite Commons2020-09-19 更新70

ARCH-COMP 2023 Category Report: Falsification - Validation

形式化验证

混合系统证伪

ARCH-COMP 2023 is an international competition on verifying continuous and hybrid systems. This archive refers to the falsification category of this competition. It contains the traces submitted for v

Zenodo2023-06-14 更新50

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

Research data for "An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic"

计算机编程

形式化验证

Formal proof development for the AxSL logic This artifact is a mechanised proof development that contains formalised definitions and proofs that can be checked by the Coq proof assistant. It contains

DataCite Commons2024-12-13 更新50

Source code and data relevant for the paper 'Learning Register Automata with ...

资源简介：

相关数据集