huggingface/open-r1 | ExplainGitHub