fm-universe/Live-FM-Bench download history

fm-universe/Live-FM-Bench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 51 times (11 in the last 7 days), and 1,249 times in total. It ranks #183,401 among datasets by monthly downloads.

Introduction This dataset Live-FM-bench is continuously updated and contamination-free evaluation benchmark of LLMs for program verification (a.k.a., formal specification generation). Currently, it contains 360 C programs under verification together with the properties to be ver

Open fm-universe/Live-FM-Bench on Hugging Face

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