4 ms·Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Model5 points by brzozowski 6y ago