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

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

Published in: CoRR (2021)

Keyphrases

neural models
neural architectures
neural model
genetic algorithm
video sequences
multi objective
bio inspired