I actually came here expecting this to be a language model application of that recursive reasoning paper.