Veri-Code/ReForm-DafnyComp-Benchmark
收藏Hugging Face2025-10-03 更新2025-10-18 收录
下载链接：
https://hf-mirror.com/datasets/Veri-Code/ReForm-DafnyComp-Benchmark
下载链接
链接失效反馈官方服务：
资源简介：
Re:Form数据集包含了在论文《Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny》中使用的两个关键数据集：Python2Dafny和DafnyComp。Python2Dafny数据集包含18000个Python程序及其对应的Dafny规格，用于监督微调和评估。DafnyComp数据集是一个包含300个组合形式程序及其自动形式化规格的基准，用于规格推理。这两个数据集均以JSON格式提供。
The Re:Form dataset contains two key datasets used in the paper Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny: Python2Dafny and DafnyComp. The Python2Dafny dataset includes 18,000 pairs of Python programs and their corresponding Dafny specifications, used for supervised fine-tuning and evaluation. The DafnyComp dataset is a benchmark of 300 compositional formal programs with auto-formalized specifications, designed for specification reasoning. Both datasets are provided in JSON format.
提供机构：
Veri-Code
