beneficial-ai-foundation/vericoding
收藏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
