A library that procedurally generates datasets for training reasoning models (like o1/r1) with verifiable rewards.