Théo Barollet | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Steve Kommrusch
10 publications
Louis-Noël Pouchet
9 publications

research

∙ 06/01/2021

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

We target the problem of provably computing the equivalence between two ...

0 Steve Kommrusch, et al. ∙

research

∙ 02/17/2020

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

In this work we target the problem of provably computing the equivalence...

0 Steve Kommrusch, et al. ∙