reasoning-core/procedural-pile download history

reasoning-core/procedural-pile is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,725 times (885 in the last 7 days), and 23,317 times in total. It ranks #12,731 among datasets by monthly downloads.

Procedural Pile Verifiable reasoning problems, generated by code, formatted as supervised training data. Procedural Pile contains 24,806,238 problems from 55 task families: arithmetic, equation systems and inverse word problems, first-order logic and formal proofs in Metamath, program

Open reasoning-core/procedural-pile on Hugging Face

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