Alberto Alfarano trains Looped Diffusion Transformers using abstract interpretation to generate reasoning traces from search states · Digg