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