In case you’re not sure what S1 is, here is the original paper:
https://arxiv.org/html/2501.19393v1It's linked in the blog post, too. In the first sentence, actually, but for some reason the author never bothered to attach the name to it. As if keeping track of o1, 4o, r1, r2d2, wasn't exhausting enough already.