fm-universe/FM-bench-verified download history

fm-universe/FM-bench-verified is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 37 times (6 in the last 7 days), and 1,053 times in total. It ranks #232,882 among datasets by monthly downloads.

Introduction This dataset FM-Bench-Verified is a manual-cleaned and verified benchmark which contains 280 C programs, properties under verification, together with ground-truth ACSL specifications. This dataset can be used for: Specification generation task (Code2Proof): given prog

Open fm-universe/FM-bench-verified on Hugging Face

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