Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Model #1 Post by brzozowski » Wed, Sep 23, 2020, 7:35 PM UTC Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Modelarxiv.org