Picture for Théo Barollet

Théo Barollet

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

Add code
Jun 09, 2021
Figure 1 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 2 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 3 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 4 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Viaarxiv icon

Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model

Add code
Feb 17, 2020
Figure 1 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 2 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 3 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 4 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Viaarxiv icon