The present model shares the same encoder with the sequence-to-sequence model described in Section 3.1 (essentially it learns to encode input q as vectors).
its decoder is fundamentally different as it generates logical forms in a topdown manner.