ricdomolm/FormalMATH download history

ricdomolm/FormalMATH is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 51 times (10 in the last 7 days), and 587 times in total. It ranks #182,934 among datasets by monthly downloads.

FormalMATH, where the Lite subset is taken as the test set, and the remaining examples are taken as the train set. import datasets data_lite = datasets.load_dataset("SphereLab/FormalMATH-Lite", split='train') data_full = datasets.load_dataset("SphereLab/FormalMATH-All", split='train') # filter out

Open ricdomolm/FormalMATH on Hugging Face

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