Open R1's OlympicCoder beats Deepseek R1, models and underlying dataset releasedhuggingface.co4 pointsmaxloha year ago