However, such syntaxbased training objective deviates from the goal of synthesizing semantically equivalent programs.
these syntax-based approaches fail to handle the problem of Program Aliasing (Bunel et al., 2018), i.e., a semantically equivalent program may have many syntactically different forms.