Star AlbumentationsX on GitHub — it powers this leaderboard
openai/prm800k
800,000 step-level correctness labels on LLM solutions to MATH problems