H huggingface.co Open-R1: an open reproduction of DeepSeek-R1 394 points jonbaer 1 year ago 234 comments