/prm800k

800,000 step-level correctness labels on LLM solutions to MATH problems

Primary LanguagePythonMIT LicenseMIT

Stargazers