amitayusht/clever download history

amitayusht/clever is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 23 times (6 in the last 7 days), and 1,095 times in total. It ranks #337,693 among datasets by monthly downloads.

This repository contains the data for the paper CLEVER: A Curated Benchmark for Formally Verified Code Generation. The benchmark can be found on GitHub: https://github.com/trishullab/clever

Open amitayusht/clever on Hugging Face

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