ThuraAung1601/dafnybench-cleaned

DafnyBench (Cleaned) A filtered version of wendy-sun/DafnyBench's test split (782 tasks), with 49 tasks removed whose ground_truth does not actually pass Dafny's own verifier under Dafny 4.11.0. Why DafnyBench's ground_truth is meant to be a fully-annotated, verifying reference solution for each task. Running every ground_truth through the real dafny verify command found that 49/782 (6.3%) do not verify as-is — meaning any agent being scored against these tasks is… See the full description on the dataset page: https://huggingface.co/datasets/ThuraAung1601/dafnybench-cleaned.

<iframe src="https://silytics.si/embed/item/8d989255-ccf1-4ca6-86a4-49d6867fe98b" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.