beneficial-ai-foundation/vericoding

Name: beneficial-ai-foundation/vericoding
Creator: beneficial-ai-foundation
Published: 2025-10-25T02:26:09+08:00

Hugging Face2025-10-24 更新2025-10-25 收录

程序合成

形式验证

数据链接：

https://hf-mirror.com/datasets/beneficial-ai-foundation/vericoding 数据链接链接失效反馈

官方服务：

资源简介：

Vericoding是一个形式验证程序合成的基准数据集，包含了12504个形式规范，涵盖Dafny、Verus/Rust和Lean三种语言。该数据集用于测试LLM生成从形式规范到形式验证代码的能力。

Vericoding is a benchmark for formal verification program synthesis, containing 12,504 formal specifications across Dafny, Verus/Rust, and Lean. This dataset is used to test the ability of LLMs to generate verified code from formal specifications.

提供机构：

beneficial-ai-foundation

beneficial-ai-foundation/vericoding

资源简介：

相关数据集