GitHub repository: polya20/prm800k
Description: 800,000 step-level correctness labels on LLM solutions to MATH problems