FrenzyMath/state_tactic_pairs download history

FrenzyMath/state_tactic_pairs is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 16 times (2 in the last 7 days), and 513 times in total. It ranks #433,426 among datasets by monthly downloads.

This dataset contains 56,407 state-tactic pairs collected through expert iteration for training REAL-Prover.

Open FrenzyMath/state_tactic_pairs on Hugging Face

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