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