It looks like a variant of "beam search" (using top-k instead of top-1), but it's not mentioned anywhere. What am I not getting ?

I was thinking the exact same thing. If someone could explain why it's not just beam search, I would be grateful!