Deepseek R1 paper that the blogpost is written around: https://arxiv.org/pdf/2501.12948