wendy-sun/DafnyBench

Name: wendy-sun/DafnyBench
Creator: wendy-sun
License: apache-2.0
Keywords: dataset, text-generation, text, datasets, dataset, huggingface-import, external-catalog, dataset, apache-2.0, task_categories:text-generation, language:en, license:apache-2.0, size_categories:n<1k, format:json, modality:text, library:datasets, library:pandas, library:mlcroissant, library:polars, region:us, code

wendy-sun/DafnyBench: Dataset from Hugging Face: wendy-sun/DafnyBench License: apache-2.0. external Hugging Face metadata. Scan: pending.

License: apache-2.0
Scan status: pending
Hosting status: external
Upstream: wendy-sun/DafnyBench

Open interactive artifact page