Reasoning Gym (https://github.com/open-thought/reasoning-gym)

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