The notation is specific to our model, but the argument is applicable to seq2seq models in general.
the goal of decoding is to find the most probable structureŷ conditioned on some observation x and transformation t. the problem is to solvê where Y is the set of valid structures.