Veri-Code/ReForm-DafnyComp-Benchmark download history

Veri-Code/ReForm-DafnyComp-Benchmark is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 73 times (20 in the last 7 days), and 1,252 times in total. It ranks #143,539 among datasets by monthly downloads.

Re:Form Datasets This repository contains the datasets used in the paper Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny. The Re:Form project introduces a framework for code to specification generation using large lan

Open Veri-Code/ReForm-DafnyComp-Benchmark on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.