Researchers train LLMs to check each step of their own reasoning — type0 | type0