A decoding algorithm that keeps the top-k most likely candidate sequences at each step, balancing quality and computational cost.