openbmb/FormalVerse download history

openbmb/FormalVerse is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 482 times (110 in the last 7 days), and 1,657 times in total. It ranks #34,104 among datasets by monthly downloads.

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement FormalVerse is a verified Lean 4 autoformalization dataset released with the paper MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-

Models trained on FormalVerse

2 models list it as training data.

Open openbmb/FormalVerse on Hugging Face

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