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