Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models

Steve Kommrusch, Théo Barollet, Louis-Noël Pouchet

We target the problem of provably computing the equivalence between two complex expression trees. To this end, we formalize the problem of equivalence between two such programs as…