fm-universe/FM-alpaca download history

fm-universe/FM-alpaca is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 81 times (18 in the last 7 days), and 2,890 times in total. It ranks #132,316 among datasets by monthly downloads.

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

Open fm-universe/FM-alpaca on Hugging Face

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