fm-universe/FM-bench download history

fm-universe/FM-bench is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 161 times (27 in the last 7 days), and 3,365 times in total. It ranks #80,298 among datasets by monthly downloads.

Introduction This dataset FM-Bench is the benchmark (test set) for the paper From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. You may find the training data here. FM-Bench includes: Six formal-verification-re

Open fm-universe/FM-bench on Hugging Face

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